Semantics with Applications: An Appetizer | Hanne Riis Nielson, Flemming Nielson
| | Keywords | Axiomatic semantics, Operational Semantics, Proof Systems, Security Validation, Static Analysers | | Type | Book [Author] | | Book title | Book | | Editors | Book | | Year | 2007 Month March pp. 274 | | Publisher | Springer | | Series | Undergraduate Topics in Computer Science | | ISBN / ISSN | 978-1-84628-691-9 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|