Modular Specification of Frame Properties in JML (2001)
by
Peter Müller
,
Arnd Poetzsch-heffter
,
Gary T. Leavens
| Citations: | 5 - 0 self |
BibTeX
@MISC{Müller01modularspecification,
author = {Peter Müller and Arnd Poetzsch-heffter and Gary T. Leavens},
title = {Modular Specification of Frame Properties in JML},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
