Home > Authors > Dejan Ničković

Dejan Ničković

All books by Dejan Ničković

(Displaying 2 Books)

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek

Runtime Verification

Runtime Verification

Jyotirmoy Deshmukh

Looking for another book by Dejan Ničković? Search for the book by title.