@book
{TN_libero_mab2,
author = {
Futschek, Gerald
},
title = {
Programmentwicklung und Verifikation
},
publisher = {Springer},
isbn = {3211818677},
isbn = {0387818677},
keywords = {
Computer programs Verification
,
Softwareentwicklung
,
Programmverifikation
},
year = {1989},
abstract = {Literaturverz. S. [179]},
booktitle = {Springers angewandte Informatik},
address = {
Wien [u.a.]
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}