%0 Thesis %1 phd/de/Grandy2008 %A Grandy, Holger %D 2008 %K dblp %P 1-290 %T Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen. %@ 978-3-8325-1972-8

@phdthesis{phd/de/Grandy2008, added-at = {2021-07-17T00:00:00.000+0200}, author = {Grandy, Holger}, biburl = {https://www.bibsonomy.org/bibtex/2fa040fbd42785a5b14bea2fa1b5ab06a/dblp}, ee = {https://d-nb.info/989979873}, interhash = {c3e22b08d50846b0e4be03a0afa7f315}, intrahash = {fa040fbd42785a5b14bea2fa1b5ab06a}, isbn = {978-3-8325-1972-8}, keywords = {dblp}, pages = {1-290}, school = {University of Augsburg}, timestamp = {2024-04-09T09:14:34.000+0200}, title = {Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen.}, year = 2008 }