Testing and Validating the Quality of Specifications.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Browse the full ICST paper archive.