An authoring tool for informal and formal requirements specifications (2002)

by Reiner Hähnle , Kristofer Johannisson , Aarne Ranta
Venue:Fundamental Approaches to Software Engineering (FASE), Part of Joint European Conferences on Theory and Practice of Software, ETAPS, Grenoble, volume 2306 of LNCS
Citations:22 - 11 self