Abstract Testing: Connecting Source Code Verification with Requirements
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2010 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-0-7695-4241-6 KITopen-ID: 1000028419 |
| Erschienen in | Proceedings Seventh International Conference on the Quality of Information and Communications Technology, 29.09.2010 - 02.10.2010, Porto, Portugal. Ed.: J. Pascoal Faria |
| Verlag | IEEE Computer Society |
| Seiten | 89-97 |