You are here: TUCS > PUBLICATIONS > Publication Search > Contracts, Game and Refinement
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Contracts, Game and Refinement
Ralph-Johan Back, Joakim von Wright, Contracts, Game and Refinement. In: 4th Workshop on Expressiveness in Concurrency, Electronic Notes of Theoretical Computer Science, Elsevier, 1997.
BibTeX entry:
@INPROCEEDINGS{pBaWr97,
title = {Contracts, Game and Refinement},
booktitle = {4th Workshop on Expressiveness in Concurrency},
author = {Back, Ralph-Johan and Wright, Joakim von},
series = {Electronic Notes of Theoretical Computer Science},
publisher = {Elsevier},
year = {1997},
}