You are here: TUCS > PUBLICATIONS > Publication Search > Structured Calculation Proof
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Structured Calculation Proof
Ralph-Johan Back, Jim Grundy, Joakim von Wright, Structured Calculation Proof. 9, 1997.
Files:
Full publication in PDF-format
BibTeX entry:
@ARTICLE{jBaGrvo97a,
title = {Structured Calculation Proof},
author = {Back, Ralph-Johan and Grundy, Jim and Wright, Joakim von},
volume = {9},
year = {1997},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium