Back to Results
First PageMeta Content
Metalogic / Institution / Common Algebraic Specification Language / Parity of a permutation / Structure / Specification language / Theory / Model theory / Mathematics / Logic


Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011
Add to Reading List

Document Date: 2011-09-15 16:40:19

Open Document

File Size: 942,18 KB

Share Result on Facebook
UPDATE