@misc
{TN_libero_mab2,
author = {
Blazytko, Tim
Fakultät für Elektrotechnik und Informationstechnik
Holz, Thorsten
AND
Rieck, Konrad
},
title = {
Reasoning about software security via synthesized behavioral substitutes
},
publisher = {Ruhr-Universität Bochum},
keywords = {
Reasoning
,
Computersicherheit
,
Programmanalyse
,
Programmfehler
,
Programmsynthese
,
Programmtransformation
},
year = {2020},
address = {
Bochum
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}