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

Formal methods for asynchronous systems
.טכנול	métodos formais para sistemas assíncronos