Author:
Apt Krzysztof R.,de Boer Frank S.,Olderog Ernst-Rüdiger,de Gouw Stijn
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference31 articles.
1. A logic of object-oriented programs;Abadi,2003
2. Proving total correctness of recursive procedures;America;Inform. and Comput.,1990
3. Verification of Sequential and Concurrent Programs;Apt,2009
4. A proof system for communicating sequential processes;Apt;ACM Trans. Program. Lang. Syst.,1980
5. Ownership confinement ensures representation independence for object-oriented programs;Banerjee;J. ACM,2005
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献