Automatic proof of freedom from interference with IFFree.

Christle Faure, Vronique Delebarre

Browse the full ECSA paper archive.