Skip to main content

Programs as Executable Predicates

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

Book Title
Proceedings of the International Conference on Fifth Generation Computer Systems‚ November 6–9 1984‚ Tokyo‚ Japan
Pages
220–228
Publisher
ICOT
Year
1984