You are here: TUCS > PUBLICATIONS > Publication Search > Combining Angels, Demons and M...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Combining Angels, Demons and Miracles in Program Specifications
Ralph-Johan Back, Joakim von Wright, Combining Angels, Demons and Miracles in Program Specifications. 100, 1992.
Files:
Full publication in PDF-format
BibTeX entry:
@ARTICLE{jBavo92a,
title = {Combining Angels, Demons and Miracles in Program Specifications},
author = {Back, Ralph-Johan and Wright, Joakim von},
volume = {100},
year = {1992},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium