Home | english  | Impressum | Sitemap | KIT

Abstract Testing: Connecting Source Code Verification with Requirements

Abstract Testing: Connecting Source Code Verification with Requirements
Autor:

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf

Quelle:

In Proc. of the 7th Intl. Conf. on Quality of Information and Communications Technology (QUATIC 2010), Oporto, Portugal

Datum: 2010