2002): An Authoring Tool for Informal and Formal Requirements Specifications (0)

by R Hähnle, K Johannisson, A Ranta
Venue:In: FASE, LNCS 2306