Author:
Kiniry Joseph R.,Morkan Alan E.,Cochran Dermot,Fairmichael Fintan,Chalin Patrice,Oostdijk Martijn,Hubbers Engelbert
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Artificial Intelligence;E. Albert,2006
2. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Rustan, K., Leino, M., Poll, E.: An Overview of JML Tools and Applications. International Journal on Software Tools for Technology Transfer (February 2005)
3. Chalin, P., Rioux, F.: Non-null References by Default in the Java Modeling Language. In: Proceedings of the Workshop on the Specification and Verification of Component-Based Systems (SAVCBS 2005) (September 2005)
4. Lecture Notes in Computer Science;Y. Cheon,2002
5. Cochran, D.: Secure Internet Voting in Ireland using the Open Source Kiezen op Afstand (KOA) Remote Voting System. Master’s thesis, University College Dublin (March 2006)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献