Search alternatives:
"composer" » "compose"
Cover Image
Read Now

1
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...Composing specifications -- Refinement calculus, part I: Sequential nondeterministic programs...”