Journal article
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.
Authors
Paige RF; Kaminskaya L; Ostroff JS; Lancaric J
Journal
The Journal of Object Technology, Vol. 1, , pp. 77–77
Publication Date
January 1, 2002
DOI
10.5381/jot.2002.1.3.a5
ISSN
1660-1769