Programs as executable predicates
A. W. Roscoe and C.A.R. Hoare
Details
| Book Title |
Proceedings of FGCS84 (ICOT‚ editors) |
| Pages |
220–228 |
| Year |
1984 |
Links
Related pages
|
People |
|
|
Activities |