Home > Mathematics of Program Construction: 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings > Types and invariants in the refinement calculus
Mathematics of Program Construction: 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings |
Springer Berlin Heidelberg
Types and invariants in the refinement calculus
Chapter Info
Authors
ARI Id
1665073454886_4718053
Access
Not Available Free
Pages
363-378
DOI
Chapter URL
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...