• Formal Verification of a Java...

*Result*: Formal Verification of a Java Compiler in Isabelle

Title:
Formal Verification of a Java Compiler in Isabelle
International conference on automated deduction; Automated deduction-CADE-18
Authors:
Strecker, M.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. :63-77
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN045894320&indx=1&recIds=ETOCCN045894320
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings