Skip to main content

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