%0 Generic
%T Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
%A Beckert, Bernhard
%A Damiani, Ferruccio
%A Gurov, Dilian
%I Springer
%@ 9783642317620
%K Logic design
%K Information Systems
%K Computer Science
%K Computer science
%K Software engineering
%K Compilers (Computer programs).
%K Computer programming.
%K Electronic data processing
%K Konferenzschrift 2011 Turin
%K Konferenzschrift
%K Softwareprodukt
%K Objektorientierung
%K Verifikation
%K Formale Methode
%K Objektorientierte Programmiersprache
%D 2012
%X Literaturangaben
%C Springer
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation