View in EDS PDF Full Text

A calculus of refinements for program derivations.

Saved in:
Bibliographic Details
Title: A calculus of refinements for program derivations.
Authors: Back, R.1
Source: Acta Informatica. 1988, Vol. 25 Issue 6, p593-624. 32p.
Database: Mathematics Source
Description
ISSN:00015903
DOI:10.1007/BF00291051