The following pages link to ASF+SDF (Q23262):
Displaying 3 items.
- Architectural modifications to deployed software (Q703582) (← links)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256) (← links)
- An action environment (Q2499823) (← links)