Author:
Pierik Cees,de Boer Frank S.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. de Boer, F., Pierik, C.: Computer-aided specification and verification of annotated object-oriented programs. In: Jacobs, B., Rensink, A. (eds.) FMOODS V, pp. 163–177. Kluwer Academic Publishers, Dordrecht (2002)
2. Bijlsma, A., Matthews, P., Wiltink, J.: A sharp proof rule for procedures in wp semantics. Acta Informatica 26, 409–419 (1989)
3. Lecture Notes in Computer Science;N. Catano,2002
4. Lecture Notes in Computer Science;A. Greenhouse,1999
5. Hoare, C.: Procedures and parameters:an axiomatic approach. In: Engeler, E. (ed.) Symp. on Semantics of Algorithmic Languages. Lecture Notes in Mathematics, vol. 188, pp. 102–116 (1971)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献