אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית +

Formal methods for asynchronous systems
.טכנול	metodi formali per sistemi asincroni