Proving Theorems about Java-like Byte Code (1999)

Cached

Download Links

by J Strother Moore
Venue:CORRECT SYSTEM DESIGN { RECENT INSIGHTS AND ADVANCES
Citations:17 - 9 self