Eric Dubois 0001, Michael Petit 0001, Eric Yu 0001. From Early to Late Formal Requirements: A Process-Control Case Study. In Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. pages 34-42, IEEE Computer Society, 1998. [doi]
Abstract is missing.