Резултати
| Назив: | Combining behavioural types with security analysis | Аутори: | 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 |
Година: | 2015 | Публикација: | Journal of Logical and Algebraic Methods in Programming | ISSN: | 2352-2208 Journal of Logical and Algebraic Methods in Programming Претражи идентификатор |
Издавач: | Elsevier | Тип резултата: | Научни чланак | Колација: | 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 |
Извор метаподатака: | Migracija | М-категорија: | 21M21 - Водећи међународни часопис категорије M21 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.