Back to Results
First PageMeta Content
Formal methods / Specification language / Refinement / Abstract state machines / Specification / Object Process Methodology / Domain-specific language / Programming language / Integrated circuit design / Formal specification / Isabelle / Program derivation


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

Open Document

File Size: 95,13 KB

Share Result on Facebook