Sign in

A Methodology for Verifying Refinements of Partial Models.

Rick SalayMarsha ChechikMichalis FamelisJan Gorzny
Published in: J. Object Technol. (2015)
Keyphrases