Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Nielson, Bill Pase and Mark Saaltink. m-EVES: A Tool for Verifying Software. In Proceedings of the 11th International Conference on Software Engineering (ICSE’11), Singapore, April 1988.
2. Dan Craigen. An Application of the m-EVES Verification System. In Proceedings of the 2nd Workshop on Software Testing, Verification and Analysis,Banff, Alberta, July 1988.
3. Richard Kemmerer. Verification Assessment Study: Final Report. VolumesI-V, National Computer Security Center, 1986.
4. Lect Notes Comput Sci;C. Dan,1991
5. Dan Craigen and Mark Saaltink. Simple Type Theory in EVES. In Proceedings of the Fourth Ban-Higher Order Workshop. Graham Birtwistle (editor). Springer-Verlag, 1990.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献