CASL for ASF+SDF Users
Author(s) -
Peter D. Mosses
Publication year - 1997
Publication title -
electronic workshops in computing
Language(s) - Uncategorized
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/al1997.12
Subject(s) - algebraic specification , computer science , programming language , specification language , algebraic number , software engineering , focus (optics) , formal specification , mathematics , optics , mathematical analysis , physics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom