First Page | Document Content | |
---|---|---|
Date: 2011-09-15 16:40:19Metalogic 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 2011Add to Reading ListSource URL: calco2011.ecs.soton.ac.ukDownload Document from Source WebsiteFile Size: 942,18 KBShare Document on Facebook |