Kevin Lano, David Clark, Kelly Androutsopoulos
From Implicit Specifications to Explicit Designs in Reactive System Development
IFM, 2002.
@inproceedings{IFM-2002-LanoCA,
author = "Kevin Lano and David Clark and Kelly Androutsopoulos",
booktitle = "{Proceedings of the Third International Conference on Integrated Formal Methods}",
doi = "10.1007/3-540-47884-1_4",
isbn = "3-540-43703-7",
pages = "49--68",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{From Implicit Specifications to Explicit Designs in Reactive System Development}",
volume = 2335,
year = 2002,
}