Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. S. Igarashi, R.L. London, D.C. Luckham, "Automatic program verification", Acta Informatica 4, 2 (1975)
2. R. Milner, "Implementation and applications of Scott's Logic for Computable Functions", Proc. ACM Conf. on Proving Assertions about Programs, SIGPLAN Notices 7, 1 (1972)
3. C.A.R. Hoare, N. Wirth, "An axiomatic definition of the programming language PASCAL", Acta Informatica 2, 4 (1973)
4. L. Aiello, M. Aiello, R. Weyrauch, "The semantics of PASCAL in LCF", Artif. Intell. Memo 221, Stanford Univ. (1974)
5. E.A. Ashcroft, W.W. Wadge, "LUCID, a formal system for writing and proving programs", SIAM J. Comp. 5, 3 (1976)