From Implicit Specifications to Explicit Designs in Reactive System Development.

Kevin Lano, David Clark, Kelly Androutsopoulos

Browse the full IFM paper archive.