Verification of object-oriented software. The key approach / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.
Lecture notes in computer science / ed. G. Goos [et al.]. 7421 : Formal verification of object-oriented software : intern. conf., FoVeOOS 2011, Turin, Italy, Oct. 5-7, 2011, rev. sel. papers. / International conference on formal verification of object-oriented software (2011; Turin), 2012. - X, 251 p. - Текст : непосредственный.
Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008: proceedings / eds. B. Beckert, R. Hahnle, 2008 r=on-line. - Текст : электронный.
Internetwirtschaft 2010 : Perspektiven und Auswirkungen Studie fur das Bundesministerium fur Wirtschaft und Arbeit / P. J. Welfens [et al.], 2005. - Текст : электронный.
Die Zukunft des deutschen Kabelfernsehnetzes : sechs Schritte zur Digitalisierung Marktstudie fur das Bundesministerium fur Wirtschaft und Arbeit / B. Beckert [et al.], 2005. - Текст : электронный.
Automated reasoning with analytic tableaux and related methods : 14th international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.