Англійська ⇄ Іспанська Італійська Грецька Данська Нідерландська Німецька Португальська Французька Фінська +

Formal methods for asynchronous systems
IT	Méthodes formelles pour systèmes asynchrones