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

Debugging and specification of Ada real time embedded systems
.טכנול	sulautettujen tosiaikaisten Ada-järjestelmien virheenpoisto ja määrittelyDESCARTES