Rezultati
| Title: | Combining behavioural types with security analysis | Authors: | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia   ; Pantović, Jovanka ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres |
Issue Date: | 2015 | Publication: | Journal of Logical and Algebraic Methods in Programming | ISSN: | 2352-2208 Journal of Logical and Algebraic Methods in Programming Search Idenfier |
Publisher: | Elsevier | Type: | Article | Collation: | vol. 84 br. 6 str. 763-780 | DOI: | 10.1016/j.jlamp.2015.09.003 | WoS-ID: | 000365453100004 | Scopus-ID: | 2-s2.0-84997755144 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2588 https://enauka.gov.rs/handle/123456789/334648 |
Metadata source: | Migracija | M-category: | 21M21 |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.