Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

KeywordsAxiomatic semantics, Operational Semantics, Proof Systems, Security Validation, Static Analysers
TypeBook [Author]
Book titleBook
EditorsBook
Year2007    Month March    pp. 274
PublisherSpringer
SeriesUndergraduate Topics in Computer Science
ISBN / ISSN978-1-84628-691-9
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering