An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Kaminskaya”
Richard F. Paige
,
Liliya Kaminskaya
,
Jonathan S. Ostroff
,
Jason Lancaric
,
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
, pp. 77-96,
PDF
,
HTML
,
DOI
.
Volume 1, no. 3 (August 2002)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact