Kroening, Daniel.

概要

作品:	1 作品在 4 項出版品 1 種語言

書目資訊

Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II / by: Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service) (書目-電子資源)

Verified software = theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers / by: Giannakopoulou, Dimitra.; Kroening, Daniel.; SpringerLink (Online service) (書目-電子資源)

Decision Procedures = An Algorithmic Point of View / by: Strichman, Ofer.; SpringerLink (Online service); Kroening, Daniel. (書目-語言資料,印刷品)

Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I / by: Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service) (書目-電子資源)

Decision procedures = an algorithmic point of view / by: Kroening, Daniel.; Strichman, Ofer.; SpringerLink (Online service) (書目-電子資源)

主題