@misc
{TN_libero_mab2,
author = {
Beckert, Bernhard
Damiani, Ferruccio
AND
Gurov, Dilian
},
title = {
Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
},
publisher = {Springer},
isbn = {9783642317620},
keywords = {
Logic design
,
Information Systems
,
Computer Science
,
Computer science
,
Software engineering
,
Compilers (Computer programs).
,
Computer programming.
,
Electronic data processing
,
Konferenzschrift 2011 Turin
,
Konferenzschrift
,
Softwareprodukt
,
Objektorientierung
,
Verifikation
,
Formale Methode
,
Objektorientierte Programmiersprache
},
year = {2012},
abstract = {Literaturangaben},
booktitle = {Lecture Notes in Computer Science ; 7421},
booktitle = {SpringerLink ; Bücher},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}