Sign in

Model Evolution with equality - Revised and implemented.

Peter BaumgartnerBjörn PelzerCesare Tinelli
Published in: J. Symb. Comput. (2012)
Keyphrases