Home | deutsch  | Legals | Sitemap | KIT

Abstract Testing: Connecting Source Code Verification with Requirements

Abstract Testing: Connecting Source Code Verification with Requirements
Author:

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

Source:

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

Date: 2010