Piergiorgio Mirandola

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
From Formal Models to Formally Based Methods: An Industrial Experience. ACM Trans. Softw. Eng. Methodol. 8 (1) (1999)