Skip to main content

Programs are Predicates

C.A.R. Hoare

Book Title
Mathematical Logic and Programming Languages
Editor
C.A.R. Hoare and J.C. Shepherdson
Pages
141–154
Publisher
Prentice−Hall
Year
1985