Romanian Academy, Institute of Computer Science
Blvd. Carol I no.8, 700505 Iasi, Romania
Formal Methods Laboratory