Author:
Chalin Patrice,Robby ,James Perry R.,Lee Jooyong,Karabotsos George
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference59 articles.
1. Ahrendt W., Baar T., Beckert B., Bubel R., Giese M., Hähnle R., Menzel W., Mostowski W., Roth A., Schlager S., Schmitt P.H.: The KeY tool. Softw. Syst. Model. 4, 32–54 (2005)
2. Aspinall, D.: Proof General. http://proofgeneral.inf.ed.ac.uk (2008)
3. Aspinall, D., Winterstein, D., Luth, C., Fayyaz, A.: Proof general in Eclipse: system and architecture overview. In: Proceedings of the OOPSLA Workshop on Eclipse Technology eXchange (ETX) (2006)
4. Baresi, L., Ghezzi, C., Mottola, L.: On accurate automatic verification of publish-subscribe architectures. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 199–208 (2007)
5. Barnes J.: High integrity software: the Spark approach to safety and security. Addison-Wesley, Reading (2003)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Slang: The Sireum Programming Language;Lecture Notes in Computer Science;2021
2. Unifying execution of imperative generators and declarative specifications;Proceedings of the ACM on Programming Languages;2020-11-13
3. Model Implementation;Web-Scale Workflow and Analytics;2015
4. @Java: Bringing a richer annotation model to Java;Computer Languages, Systems & Structures;2014-04
5. Editorial;Formal Aspects of Computing;2011-09