An Operational Semantics in UTP for a Language of Reactive Designs

Jim Woodcock

Research output: Contribution to conference › Abstract › peer-review

Original languageUndefined/Unknown
Pages84-84
Publication statusPublished - 2006

Access to Document

Cite this