Watch: A Validation Framework and Language for Tool Qualification.

Luiz Cordeiro, Christian Becker, Markus Pielmeier, Julian Amann

Browse the full SAFECOMP paper archive.