Software development by refinement
Dusko Pavlovic and Douglas R. Smith infobook title | Formal Methods at the Crossroads |
editor | Bernhard K. Aichernig and Tom Maibaum |
publisher | Springer Verlag |
series | Lecture Notes in Computer Science |
volume | 2757 |
year | 2003 |
links
BibTeX
related pages
|
