Asserting Bytecode Safety

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_23 ◽

2005 ◽

pp. 326-341 ◽

Author(s):

Martin Wildmoser ◽

Tobias Nipkow

Download Full-text