@misc
{TN_libero_mab2,
author = {
Paskevich, Andrei
AND
Wies, Thomas
},
title = {
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
},
publisher = {Springer},
isbn = {9783319723082},
keywords = {
Programming languages (Electronic computers)
,
Computer Science
,
Computer science
,
Software engineering
,
Computers
,
Artificial intelligence
,
Computer simulation
,
Compilers (Computer programs).
,
Professions.
,
Verifikation
,
Softwarespezifikation
,
Spezifikationssprache
,
Softwaretest
,
Programmanalyse
,
Programmverifikation
,
Formale Methode
},
year = {2017},
booktitle = {Lecture Notes in Computer Science ; 10712},
booktitle = {SpringerLink ; Bücher},
booktitle = {Springer eBook Collection ; Computer Science},
address = {
Cham
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}