Login / Signup

Abstract Testing: Connecting Source Code Verification with Requirements.

Florian MerzCarsten SinzHendrik PostThomas GorgesThomas Kropf
Published in: QUATIC (2010)
Keyphrases