Login / Signup

From Implicit Specifications to Explicit Designs in Reactive System Development.

Kevin LanoDavid ClarkKelly Androutsopoulos
Published in: IFM (2002)
Keyphrases