Stefania Gnesi

1954

• Formal methods for industrial critical systems