An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Gorzny”
Rick Salay
,
Marsha Chechik
,
Michalis Famelis
,
Jan Gorzny
,
A Methodology for Verifying Refinements of Partial Models
, pp. 3:1-31,
PDF
,
DOI
.
Volume 14, no. 3 (August 2015)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact