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.
No references recorded for this publication.
No citations of this publication recorded.