First Page | Document Content | |
---|---|---|
![]() Date: 2012-08-02 20:27:15Formal methods Computing Software engineering Theoretical computer science Specification language Refinement Abstract state machines Domain-specific language Specification Programming language Integrated circuit design Formal specification | Add to Reading List |