@misc
{TN_libero_mab2,
author = {
Henson, Martin
AND
King, Steve
AND
Schneider, Steve
AND
Treharne, Helen
},
title = {
ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
},
publisher = {Springer Berlin Heidelberg},
isbn = {9783540320074},
keywords = {
Logic design
,
Computer Science
,
Computer science
,
Software engineering
,
Machine theory.
,
Konferenzschrift 2005 Guildford
,
Softwareentwicklung
,
Softwarespezifikation
,
Formale Spezifikationstechnik
,
Z Programmiersprache
,
B Programmiersprache
},
year = {2005},
booktitle = {Lecture Notes in Computer Science ; 3455},
booktitle = {SpringerLink ; Bücher},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}