JML: A notation for detailed design

Authors
Leavens, GT Baker, AL Ruby, C
Citation
Gt. Leavens et al., JML: A notation for detailed design, KLUW ENGN C, 523, 1999, pp. 175-188
Categorie Soggetti
Current Book Contents
Journal title
BEHAVIORAL SPECIFICATIONS OF BUSINESSES AND SYSTEMS → ACNP
Volume
523
Year of publication
1999
Pages
175 - 188
Database
ISI
SICI code