Software development by refinement
Dusko Pavlovic and Douglas R. Smith
Details
| Book 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
Related pages
|
People |