Autori: Denielou Pierre-Malo
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 |
|