Editors: Ezio Bartocci, TU Wien, Austria and Yliès Falcone, University of Grenoble Alpes, France.
Runtime Verification
2 contributors - Paperback
£44.99
Formal Methods in Outer Space
3 contributors - Paperback
£49.99
Lectures on Runtime Verification
£54.99