Search alternatives:
"composer" » "compositer"
"composed" » "composited"
"compose" » "composite"
Cover Image
Read Now

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