Reasoning about programs via operational semantics: requirements for a support system (2008)

First Author: Hughes J

Attributed to: Trustworthy Ambient Systems (TRAMS) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/s10515-008-0036-6

Publication URI: http://dx.doi.org/10.1007/s10515-008-0036-6

Type: Journal Article/Review

Parent Publication: Automated Software Engineering

Issue: 3-4