Context handling in the Refinement Calculus framework

Context handling in the Refinement Calculus framework

Get full text

Book

Laibinis, Linas ; Wright, Joakim von

Turku Centre for Computer Science 1997.

Saved in:

Physical Description

17, [2] sivua ; 25 cm

Language

English

Publisher

Turku : Turku Centre for Computer Science, 1997.

Series

TUCS technical report, ISSN 1239-1891; no 118.

Classification

udkx 681.3
udkx 51

Additional Information

Linas Laibinis, Joakim von Wright

ISBN

952-12-0029-4 nidottu