Beckert, Bernhard.

概要

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

書目資訊

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

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

Tests and proofssecond international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / by: (1998 :); Beckert, Bernhard.; Hahnle, Reiner.; SpringerLink (Online service) (書目-電子資源)

Automated Reasoning with Analytic Tableaux and Related Methods :International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (1998 :); Beckert, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Verification of Object-Oriented Software. The KeY Approach :Foreword by K. Rustan M. Leino / by: Beckert, Bernhard.; Hahnle, Reiner.; Schmitt, Peter H.. (書目-電子資源)

主題