Semantics with applications an appetizer (Nielson, FlemmingNielson, Hanne Riis)



Keywords        Axiomatic semantics, Operational Semantics, Proof Systems, Security Validation, Static Analysers
Book title        Semantics with Applications
Editors        Hanne Riis Nielson, Flemming Nielson
Year        2007    Month March    pp. 274
Publisher        Springer
Series        Undergraduate Topics in Computer Science
ISBN / ISSN        978-1-84628-691-9