You are here: TUCS > PUBLICATIONS > Publication Search > A Calculus of Refinements for ...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
A Calculus of Refinements for Program Derivations
Ralph-Johan Back, A Calculus of Refinements for Program Derivations. Acta Informatica 25, 1988.
Files:
Full publication in PDF-format
BibTeX entry:
@ARTICLE{jBack_RalphxJohan88a,
title = {A Calculus of Refinements for Program Derivations},
author = {Back, Ralph-Johan},
journal = {Acta Informatica},
volume = {25},
year = {1988},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium
Publication Forum rating of this publication: level 2