Autori: Castellani Ilaria
| Naslov | Combining behavioural types with security analysis (Article) |
| Autori | Bartoletti Massimo Castellani Ilaria Denielou Pierre-Malo Dezani-Ciancaglini Mariangiola Ghilezan Silvia  Pantovic Jovanka B Perez Jorge A Thiemann Peter Toninho Bernardo Vieira Hugo Torres
|
| Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2015), vol. 84 br. 6, str. 763-780 |
| Projekat | COST Action [IC1201] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
     |
