z-logo
open-access-imgOpen Access
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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom