Common Algebraic Specification Language
Results: 1
| # | Item |
|---|---|
1 | Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011Add to Reading ListSource URL: calco2011.ecs.soton.ac.ukLanguage: English - Date: 2011-09-15 16:40:19 |