You are here: TUCS > PUBLICATIONS > Publication Search > Compositional Action System Re...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Compositional Action System Refinement
Ralph-Johan Back, Joakim von Wright, Compositional Action System Refinement. In: Proceedings of Refinement Workshop REFINE2002, 2002.
BibTeX entry:
@INPROCEEDINGS{inpBavo02a,
title = {Compositional Action System Refinement},
booktitle = {Proceedings of Refinement Workshop REFINE2002},
author = {Back, Ralph-Johan and Wright, Joakim von},
year = {2002},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium