Common Algebraic Specification Language

Results: 1



#Item
1Metalogic / 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

Source URL: calco2011.ecs.soton.ac.uk

Language: English - Date: 2011-09-15 16:40:19
UPDATE