You are here: TUCS > PUBLICATIONS > Publication Search > Statement Inversion and Strong...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Statement Inversion and Strongest Postcondition
Ralph-Johan Back, Joakim von Wright, Statement Inversion and Strongest Postcondition. 20, 1993.
Files:
Full publication in PDF-format
BibTeX entry:
@ARTICLE{jBavo93a,
title = {Statement Inversion and Strongest Postcondition},
author = {Back, Ralph-Johan and Wright, Joakim von},
volume = {20},
year = {1993},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium