Author:
Hoang Duc,Moy Yannick,Wallenburg Angela,Chapman Roderick
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference40 articles.
1. Barnes, J.: Ada 2012 rationale (2012). http://www.adacore.com/knowledge/technical-papers/ada-2012-rationale/
2. Barnes, J.: SPARK: The Proven Approach to High Integrity Software. Altran Praxis. Third Edition of the SPARK Book (2012)
3. Burdy, L., Cheon, Y., Cok, D.R., Ernst, M.D., Kiniry, J.R., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. 7, 212–232 (2005)
4. Bobot, F., Conchon, S., Contejean, E., Lescuyer, S.: Implementing polymorphism in SMT solvers. In: SMT’08, vol. 367 of ACM ICPS, pp. 1–5 (2008)
5. Barnett, M., Fähndrich, M., Leino, K.R.M., Müller, P., Schulte, W., Venter, H.: Specification and verification: the Spec# experience. Commun. ACM 54(6), 81–91 (2011)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献