Toggle Main Menu Toggle Search

Open Access padlockePrints

Lessons from the development of a concurrent program: formality as a guide to intuition

Lookup NU author(s): Professor Cliff Jones

Downloads

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


Publication metadata

Author(s): Jones CB

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 1995 Conference on Formal Specification: Foundations, Methods, Tools and Applications (FMTA '95)

Year of Conference: 1995


Share