Darwin: A Theorem Prover for the Model Evolution Calculus (2004)

by Peter Baumgartner , Alexander Fuchs , Universität Koblenz-landau , Fachbereich Informatik , Cesare Tinelli , Baumgartner Fuchs Tinelli
Citations:14 - 4 self