Proving Theorems about Java-like Byte Code, (1999)

by J S Moore
Venue:Correct System Design – Recent Insights and Advances, LNCS 1710,