Back to Results
First PageMeta Content
Formal methods / Computing / Software engineering / Theoretical computer science / Specification language / Refinement / Abstract state machines / Domain-specific language / Specification / Programming language / Integrated circuit design / Formal specification


Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1
Add to Reading List

Document Date: 2012-08-02 20:27:15

Open Document

File Size: 95,13 KB

Share Result on Facebook
UPDATE