Резултати
еНаука >
Резултати >
Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote)
| Назив: | Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote) | Аутори: | Ghilezan, Silvia  |
Година: | 2021 | Издавач: | Association for the Computing Machinery | Тип резултата: | Конференцијски рад | ISBN: | 978-1-4503-9057-6  Претражи идентификатор |
Колација: | str. 1-2 | DOI: | 10.1145/3459960.3461562 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4697 https://enauka.gov.rs/handle/123456789/579717 |
М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.