Toggle Main Menu Toggle Search

Open Access padlockePrints

Operational Semantics Revisited

Lookup NU author(s): Professor Cliff Jones


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Jones C

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2003 ETAPS SE-WMT Workshop: Structured Programming: The Hard Core of Software Engineering

Year of Conference: 2003

Notes: Satellite workshop to the 2003 European Joint Conference on Theory and Practice of Software (ETAPS '03), Warsaw, 5-13 April 2003