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
C.A.R. Hoare and A.W. Roscoe