Dejan Ničković

Libros
Runtime Verification Runtime Verification
Runtime Verification
2020
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2020