A Type-Theoretic Memory Model for Verification of Sequential Java Programs.

Joachim van den Berg Marieke Huisman Bart Jacobs Erik Poll

Published in: WADT (1999)

Keyphrases

probabilistic model
real time
java programs
information systems