Articles matching “Salay”

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)