Articles matching “Chechik”

  1. 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