![Applied mathematics / Mathematics / Program logic / Model theory / Hoare logic / Syntactic predicate / Formal verification / Programming language / Semantics of programming languages / Theoretical computer science / Formal methods / Logic in computer science Applied mathematics / Mathematics / Program logic / Model theory / Hoare logic / Syntactic predicate / Formal verification / Programming language / Semantics of programming languages / Theoretical computer science / Formal methods / Logic in computer science](https://www.pdfsearch.io/img/4ca0de848f64a8791520379d71b48516.jpg)
| Document Date: 2008-07-11 10:38:35 Open Document File Size: 114,99 KBShare Result on Facebook
City Amsterdam / / Company R.D. Arthan Lemma 1 Ltd. / ACM Press / Hybrid Systems / Lemma 1 Ltd. / 2nd Floor / / / Event Labor Issues / / Facility Hall International / / IndustryTerm proof infrastructure / continuous-time control systems / generation algorithm / resource management / less familiar applications / Potential applications / formal methods tools / continuous systems / build sound tools / possible solution / Permission accounting / / Position editor / / ProgrammingLanguage Ada / C / Standard ML / Z notation / / PublishedMedium Theoretical Computer Science / / Technology dom / flow control / VC generation algorithm / / URL http /
SocialTag |