An authoring tool for informal and formal requirements specifications”. In: Fundamental Approaches to Software Engineering (2002)

by R Hähnle, K Johannisson, A Ranta
Venue:FASE), Part of Joint European Conferences on Theory and Practice of Software, ETAPS, Grenoble, volume 2306 of LNCS