Navigating the Requirements Jungle
Boris Langer and Michael Tautschnig
Address
Porto Sani‚ Greece
Book Title
Leveraging Applications of Formal Methods‚ Verification and Validation
Editor
Tiziana Margaria and Bernhard Steffen
ISBN
978−3−540−88478−1
Month
October
Pages
354–368
Publisher
Springer
Series
Communications in Computer and Information Science
Volume
17
Year
2008