%0 Thesis %1 phd/de/Engel2009 %A Engel, Christian %D 2009 %K dblp %T Deductive verification of safety-critical Java programs.

@phdthesis{phd/de/Engel2009, added-at = {2021-07-17T00:00:00.000+0200}, author = {Engel, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2d9156d09a91ba064c991fa2850b1f308/dblp}, ee = {https://d-nb.info/998594296}, interhash = {113623b4676c0ff4e9be99e4128851e1}, intrahash = {d9156d09a91ba064c991fa2850b1f308}, keywords = {dblp}, school = {Karlsruhe Institute of Technology}, timestamp = {2024-04-09T09:07:01.000+0200}, title = {Deductive verification of safety-critical Java programs.}, year = 2009 }