From Implicit Specifications to Explicit Designs in Reactive System Development

Kevin Lano, David Clark, Kelly Androutsopoulos

Research output: Chapter in Book/Report/Conference proceedingConference paper

1 Citation (Scopus)
Original languageEnglish
Title of host publicationUnknown
PublisherSpringer
Publication statusPublished - 2002
EventThird International Conference on Integrated Formal Methods (IFM 2002) - Turku, Finland
Duration: 1 Jan 2002 → …

Conference

ConferenceThird International Conference on Integrated Formal Methods (IFM 2002)
Country/TerritoryFinland
CityTurku
Period1/01/2002 → …

Cite this