Author:
Pierik Cees,de Boer Frank S.
Subject
General Computer Science,Theoretical Computer Science
Reference37 articles.
1. M. Abadi, K.R.M. Leino, A logic of object-oriented programs, in: Verification: Theory and Practice, Lecture Notes in Computer Science, Vol. 2772, Springer, Berlin, 2003, pp. 11–41.
2. E. Ábrahám, F.S. de Boer, W.-P. de Roever, M. Steffen, Inductive proof outlines for monitors in Java, in: Proc. of Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), Lecture Notes in Computer Science, Vol. 2884, Springer, Berlin, 2003, pp. 155–169.
3. Ten years of Hoare's logic: a survey—part I;Apt;ACM Trans. Programming Languages Systems,1981
4. A proof system for communicating sequential processes;Apt;ACM Trans. Programming Languages Systems,1980
5. M. Barnett, K.R.M. Leino, W. Schulte, The Spec# programming system: an overview, in: Proc. of the Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS), Lecture Notes in Computer Science, Vol. 3362, Springer, Berlin, 2004.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献