Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens. Modular specification of frame properties in JML. Concurrency - Practice and Experience, 15(2):117-154, 2003.
@article{MullerPL03,
title = {Modular specification of frame properties in JML},
author = {Peter Müller and Arnd Poetzsch-Heffter and Gary T. Leavens},
year = {2003},
researchr = {https://researchr.org/publication/MullerPL03},
cites = {0},
citedby = {0},
journal = {Concurrency - Practice and Experience},
volume = {15},
number = {2},
pages = {117-154},
}