Applying Formal Methods in Industry The UseGat Project.

Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard

Browse the full SAFECOMP paper archive.