Linking Functional Requirements and Software Verification
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-0-7695-3761-0 KITopen-ID: 1000028427 |
| Erschienen in | Proceeding RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE, Atlanta, Georgia, USA, August 31-September 04 |
| Verlag | IEEE Computer Society |
| Seiten | 295-302 |