Massink Mieke

Research Staff

Formal Methods and Tools Laboratory (FMT)

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Area della Ricerca CNR di Pisa
Via G. Moruzzi 1
56124 PISA - Italy

email:mieke.massink@isti.cnr.it
office:+39 050 621 2981
mobile:+39 348 8283102
fax:+39 050 315 2040
homepage:http://www1.isti.cnr.it/~Massink/
publications: click here
building:B
gate:19
floor:1
room:C-28

To people by name / by group

comments to webmaster