Dejan Ničković
Identifiers
- Open LibraryOL9991257A
Books by Dejan Ničković
Total count: 2
-
Runtime Verification20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, ProceedingsSpringer International Publishing AG2020-01-01
-
Formal Methods for Industrial Critical Systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, ProceedingsSpringer International Publishing AG2020-01-01