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

Formal Methods Laboratory