Author:
Champion Adrien,Gurfinkel Arie,Kahsai Temesghen,Tinelli Cesare
Publisher
Springer International Publishing
Reference26 articles.
1. Lecture Notes in Computer Science;J Backes,2015
2. Barnes, J.G.P.: High Integrity Software - The SPARK Approach to Safety and Security. Addison-Wesley, Boston (2003)
3. Lecture Notes in Computer Science;M Gheorghiu Bobaru,2008
4. Lecture Notes in Computer Science;G Brat,2015
5. Champion, A., Mebsout, A., Sticksel, C., Tinelli, C.: The Kind 2 model checker. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9780. Springer International Publishing, Switzerland (2016, to appear)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献