Author:
Leino K. Rustan M.,Müller Peter
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Barnett, M., DeLine, R., Fähndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. JOT 3(6) (2004)
2. Lecture Notes in Computer Science;M. Barnett,2005
3. Lecture Notes in Computer Science;M. Barnett,2004
4. Breunesse, C.-B., Poll, E.: Verifying JML specifications with model fields. In: Formal Techniques for Java-like Programs, pp. 51???60 (2003);
5. Tech. Rep. 408, ETH Zurich
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献