From Early to Late Formal Requirements: A Process-Control Case Study," presented at the (1998)

by E Dubois, M Petit, E Yu
Venue:Proceedings of the 9th international workshop on Software specification and design