@book{fe64d76c06834f38b9ce3d1d77ad6568,
title = "A Java Reference Model of Transacted Memory for Smart Cards",
abstract = "Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model and C implementation. We conclude that Java/JML combines the advantages of a high level specification in the JML part (based on our Z model), with a detailed implementation in the Java part (based on our C implementation).",
keywords = "SCS-Cybersecurity",
author = "Erik Poll and Pieter Hartel and {de Jong}, Eduard",
year = "2002",
month = jun,
language = "English",
series = "CTIT technical reports series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "02-14",
address = "Netherlands",
}