You are here: TUCS > PUBLICATIONS > Publication Search > Correctness Preserving Program...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Correctness Preserving Program Refinements: Proof Theory and Applications
Ralph-Johan Back, Correctness Preserving Program Refinements: Proof Theory and Applications. Mathematical Centre, 1980.
Files:
Full publication in PDF-format
BibTeX entry:
@BOOK{bBack_RalphxJohan80a,
title = {Correctness Preserving Program Refinements: Proof Theory and Applications},
author = {Back, Ralph-Johan},
publisher = {Mathematical Centre},
year = {1980},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium