@misc
{TN_libero_mab2,
author = {
Butler, Michael
Schulte, Wolfram
},
title = {
FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
},
publisher = {Springer Berlin Heidelberg},
isbn = {9783642214370},
keywords = {
Logic design
,
Information Systems
,
Computer Science
,
Computer science
,
Software engineering
,
Compilers (Computer programs).
,
Computer programming.
,
Machine theory.
,
Electronic data processing
,
Paperback / softback
,
Research
,
Z specification language
,
formal software testing
,
formal verification
,
model-based systems design
,
safety-critical systems
,
satisfiability
,
systems validation
,
Konferenzschrift 2011 Limerick, Shannon
,
Formale Methode
},
year = {2011},
booktitle = {Lecture Notes in Computer Science ; 6664},
booktitle = {SpringerLink ; Bücher},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}