%0 Thesis %1 phd/dnb/Oheimb01 %A von Oheimb, David %D 2001 %K dblp %P 1-177 %T Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare logic.

@phdthesis{phd/dnb/Oheimb01, added-at = {2021-07-17T00:00:00.000+0200}, author = {von Oheimb, David}, biburl = {https://www.bibsonomy.org/bibtex/287bc05a66e65d3fcd12596b5c44320f8/dblp}, ee = {https://d-nb.info/962067091}, interhash = {777726bd897ddf438cac0c45f9aa470e}, intrahash = {87bc05a66e65d3fcd12596b5c44320f8}, keywords = {dblp}, pages = {1-177}, school = {Technical University Munich, Germany}, timestamp = {2024-04-09T08:14:37.000+0200}, title = {Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare logic.}, year = 2001 }