@misc
{TN_libero_mab2,
author = {
Grahl, Daniel
Karlsruher Institut für Technologie Fakultät für Informatik
},
title = {
Towards Specification and Verification of Information Flow in Concurrent Java-like Programs
},
publisher = {KIT Karlsruher Institut für Technologie, Fakultät für Informatik},
keywords = {
Forschungsbericht
},
year = {2014},
abstract = {Literaturverzeichnis: Seite 30-33},
booktitle = {Karlsruhe reports in informatics ; 2014, 5},
address = {
Karlsruhe
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}