Skip to main content

Programs as executable predicates

A. W. Roscoe and C.A.R. Hoare

Book Title
Proceedings of FGCS84 (ICOT‚ editors)
Pages
220–228
Year
1984