Date: 2012-08-02 20:33:11Formal methods Theoretical computer science Software engineering Logic in computer science Software development Semigroup action Refinement Predicate transformer semantics Program transformation Postcondition Finite-state machine Formal verification | | Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSAAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source Website File Size: 160,92 KBShare Document on Facebook
|