The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results.

Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mand, Nicola Nostro, Luigi Rucher

Browse the full SAFECOMP paper archive.