Search

Bibtex

Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny, A Methodology for Verifying Refinements of Partial Models

Back