Find link

language:

Find link is a tool written by Edward Betts.

searching for Common Algebraic Specification Language 1 found (7 total)

alternate case: common Algebraic Specification Language

Larch family (165 words) [view diff] exact match in snippet view article find links to article

Tools for Formal Specification (PDF). Springer-Verlag. ISBN 978-1-4612-2704-5. Official website CASL, The Common Algebraic Specification Language. v t e