Towards a Methodology for Verifying Partial Model Refinements.

Rick Salay, Marsha Chechik, Jan Gorzny

Browse the full ICST paper archive.