Search alternatives:
programming languages » program language
Cover Image
Read Now

1
Published 2001
Springer US
Table of Contents: “... Requirements -- 8 A Domain Language for a Class of Reactive Systems -- 9 Refinement-based Derivation of Train...”