Back to Results
First PageMeta Content
Computing / Software engineering / Formal methods / Refinement / Specification language / Specification / Exception handling / Programming language / Software design / Domain-specific language


Comprehension by Derivation Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA
Add to Reading List

Document Date: 2012-08-02 20:40:20


Open Document

File Size: 95,84 KB

Share Result on Facebook