A Type-Theoretic Memory Model for Verification of Sequential Java Programs (1999)

Cached

Download Links

by Joachim van den Berg , Marieke Huisman , Bart Jacobs , Erik Poll
Citations:22 - 9 self