Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design - CaltechTHESIS
![Ioannis Filippidis's research works | Aristotle University of Thessaloniki, Thessaloníki (AUTH) and other places Ioannis Filippidis's research works | Aristotle University of Thessaloniki, Thessaloníki (AUTH) and other places](https://c5.rgstatic.net/m/435982309481010/images/template/default/author/author_default_m.jpg)
Ioannis Filippidis's research works | Aristotle University of Thessaloniki, Thessaloníki (AUTH) and other places
Ioannis Filippidis - Resident doctor-department of psychiatry - General Hospital Of Leros | LinkedIn
![Пин от пользователя ioannis filippidis на доске tattoos | Модные татуировки, Татуировки, Крутые татуировки Пин от пользователя ioannis filippidis на доске tattoos | Модные татуировки, Татуировки, Крутые татуировки](https://i.pinimg.com/564x/a0/78/8f/a0788f0634da15815038932f032fb421.jpg)