%0 Thesis %1 phd/de/Hartmann2006 %A Hartmann, Andreas %D 2006 %K dblp %P 1-104 %T Eine Methode der effizienten und verifizierbaren Programmannotation für den Transport von Escape-Informationen.

@phdthesis{phd/de/Hartmann2006, added-at = {2021-07-17T00:00:00.000+0200}, author = {Hartmann, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/24f2652b8ddbeca53cf6bf77633740a39/dblp}, ee = {https://d-nb.info/985241586}, interhash = {8150241c04eec5a4a11d8f151c7b4ec3}, intrahash = {4f2652b8ddbeca53cf6bf77633740a39}, keywords = {dblp}, pages = {1-104}, school = {Friedrich Schiller University of Jena}, timestamp = {2024-04-09T09:13:42.000+0200}, title = {Eine Methode der effizienten und verifizierbaren Programmannotation für den Transport von Escape-Informationen.}, year = 2006 }