Approach for Classifying the Automatability of Verification and Validation Techniques.

Katharina Langenbach, Markus Rabe

Browse the full WSC paper archive.