Author:
Welch Daniel,Sitaraman Murali
Publisher
Springer International Publishing
Reference20 articles.
1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)
2. Cook, C.T., Harton, H., Smith, H., Sitaraman, M.: Specification engineering and modular verification using a web-integrated verifying compiler. In: 2012 34th International Conference on Software Engineering (ICSE), pp. 1379–1382, June 2012
3. Cormen, T.H., Stein, C., Rivest, R.L., Leiserson, C.E.: Introduction to Algorithms, 2nd edn. McGraw-Hill Higher Education, New York (2001)
4. Lecture Notes in Computer Science;J-C Filliâtre,2013
5. Frakes, W.B., Isoda, S.: Success factors of systematic reuse. IEEE Softw. 11(5), 14–19 (1994)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails;Electronic Proceedings in Theoretical Computer Science;2021-11-16
2. Formalization IDEs Integrated with a Verifying Compiler;Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems;2017-06-19