Author:
Cataño Néstor,Huisman Marieke
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim. Jass — Java with Assertions. In K. Havelund and G. Rosşu, editors, ENTCS, volume 55(2). Elsevier Publishing, 2001.
2. Lect Notes Comput Sci;J. Berg van den,2001
3. A. Borgida, J. Mylopoulos, and R. Reiter. On the frame problem in procedure specifications. IEEE Transactions on Software Engineering, 21(10):785–798, 1995.
4. N. Cataño and M. Huisman. Assignable specifications for the Electronic Purse case study, 2002. http://www-sop.inria.fr/lemme/verificard/modifSpec .
5. Lect Notes Comput Sci;N. Cataño,2002
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献