Title
Stepwise Refinement of Layered Protocols by Formal Program Development
Year
Venue
Keywords
1989
PSTV
stepwise refinement,layered protocols,formal program development
Field
DocType
ISBN
Programming language,Computer science,Top-down and bottom-up design,Program development
Conference
0-444-88343-6
Citations 
PageRank 
References 
1
0.54
1
Authors
3
Name
Order
Citations
PageRank
Terry Stroup1152.38
Norbert Götz211111.92
Michael Mendler331434.60