Verified Bytecode Subroutines

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/10930755_4 ◽

2003 ◽

pp. 55-70 ◽

Cited By ~ 2

Author(s):

Gerwin Klein ◽

Martin Wildmoser

Download Full-text