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

formelle metoder for asynkrone systemer
IT	Formal methods for asynchronous systems