Results
eNauka >
Results >
Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote)
| Title: | Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote) | Authors: | Ghilezan, Silvia  |
Issue Date: | 2021 | Publisher: | Association for the Computing Machinery | Type: | Conference Paper | ISBN: | 978-1-4503-9057-6  Search Idenfier |
Collation: | 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 |
M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.