Beckert, Bernhard.

概要

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

書目資訊

Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: Beckert, Bernhard.; Damiani, Ferruccio.; Gurov, Dilian.; SpringerLink (Online service) (書目-電子資源)

Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: Beckert, Bernhard.; SpringerLink (Online service); TABLEAUX 2005 ((2005 :) (書目-語言資料,印刷品)

Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / by: Beckert, Bernhard.; Hahnle, Reiner.; SpringerLink (Online service); TAP 2008 ((2008 :) (書目-語言資料,印刷品)

Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: Beckert, Bernhard.; Marche, Claude.; SpringerLink (Online service) (書目-電子資源)

主題