Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Verifying Object-Oriented Programs with KeY: Wolfgang Ahrendt1
 

Summary: Verifying Object-Oriented Programs with KeY:
A Tutorial
Wolfgang Ahrendt1
, Bernhard Beckert2
, Reiner H¨ahnle1
, Philipp R¨ummer1
,
and Peter H. Schmitt3
1
Department of Computer Science and Engineering,
Chalmers University of Technology and G¨oteborg University
ahrendt|reiner|philipp@chalmers.se
2
Department of Computer Science,
University of Koblenz-Landau
beckert@uni-koblenz.de
3
Department of Theoretical Computer Science,
University of Karlsruhe
pschmitt@ira.uka.de

  

Source: Ahrendt, Wolfgang - Department of Computer Science and Engineering, Chalmers University of Technology
Beckert, Bernhard - Fachbereich Informatik, Universität Koblenz-Landau

 

Collections: Computer Technologies and Information Sciences