Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)
1984 / 10 Vol. 312; Iss. 1522
![](/img/cover-not-exists.png)
Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Programs are Predicates [and Discussion]
C. A. R. Hoare and F. K. HannaVolume:
312
Language:
english
Journal:
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences
DOI:
10.2307/37446
Date:
October, 1984
File:
PDF, 1.55 MB
english, 1984