@article{RecktenwaldSchr{\"o}pfer2013, author = {Recktenwald, Benedikt and Schr{\"o}pfer, David}, title = {Formale Beschreibung von Sicherheitsl{\"u}cken}, journal = {informatikJournal}, volume = {2013/14}, isbn = {978-3-00-044321-3}, url = {https://www.hs-furtwangen.de/fileadmin/user_upload/fak_IN/Dokumente/Forschung_InformatikJournal/informatikJournal_2013.pdf}, pages = {101 -- 111}, year = {2013}, language = {de} }