A Case Study in Class Library Verification: Java's Vector Class (1999)

Cached

Download Links

by Marieke Huisman , Bart Jacobs , Joachim van den Berg
Citations:19 - 6 self