The 4SECURail Case Study on Rigorous Standard Interface Specifications.

Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi

Browse the full FMICS paper archive.