TY - GEN
AU - Beckert, Bernhard
AU - Damiani, Ferruccio
AU - Gurov, Dilian
TI - Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
PB - Springer
SN - 9783642317620
KW - Logic design
KW - Information Systems
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Compilers (Computer programs).
KW - Computer programming.
KW - Electronic data processing
KW - Konferenzschrift 2011 Turin
KW - Konferenzschrift
KW - Softwareprodukt
KW - Objektorientierung
KW - Verifikation
KW - Formale Methode
KW - Objektorientierte Programmiersprache
PY - 2012
N2 - Literaturangaben
BT - Lecture Notes in Computer Science ; 7421
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation