%0 Thesis %1 oheimb2001analyzing %A Oheimb, David %D 2001 %K %T Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare logic

@phdthesis{oheimb2001analyzing, added-at = {2023-12-13T01:51:36.000+0100}, author = {Oheimb, David}, biburl = {https://www.bibsonomy.org/bibtex/236c73e3cb6f825b8e400e06cef4f17d0/admin}, dnbtitleid = {962067091}, interhash = {777726bd897ddf438cac0c45f9aa470e}, intrahash = {36c73e3cb6f825b8e400e06cef4f17d0}, keywords = {}, school = {TU München}, timestamp = {2023-12-13T01:51:36.000+0100}, title = {Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare logic}, year = 2001 }