共 33 条
[1]
[Anonymous], LECT NOTES COMPUTER
[2]
Barnes John., 2014, PROGRAMMING ADA 2012
[3]
Barnett M, 2006, LECT NOTES COMPUT SC, V4111, P364
[4]
Barrett Clark, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P171, DOI 10.1007/978-3-642-22110-1_14
[5]
Barrett Clark, 2010, P 8 INT WORKSH SAT M
[6]
Blanchette JC, 2010, LECT NOTES COMPUT SC, V6172, P131, DOI 10.1007/978-3-642-14052-5_11
[7]
Bobot F., 2011, BOOGIE 2011 1 INT WO, P53
[9]
Bobot Francois, 2008, The Alt-Ergo automated theorem prover
[10]
Chapman Roderick, 2014, Interactive Theorem Proving. 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Proceedings: LNCS 8558, P17, DOI 10.1007/978-3-319-08970-6_2