Author:
Owe Olaf,Ramezanifarkhani Toktam,Fazeldehkordi Elahe
Publisher
Springer International Publishing
Reference29 articles.
1. Apt, K.R.: Ten years of Hoare’s logic: a survey - part I. ACM Trans. Program. Lang. Syst. 3(4), 431–483 (1981)
2. Lecture Notes in Computer Science;R-J Back,1995
3. Lecture Notes in Computer Science;M Barnett,2005
4. Beckert, B., Hähnle, R., Schmitt, P.H.: Verification of Object-oriented Software: The KeY Approach. Springer, Heidelberg (2007)
5. Bijlsma, A., Matthews, P.A., Wiltink, J.G.: A sharp proof rule for procedures in WP semantics. Acta Inform. 26(5), 409–419 (1989)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献