Runtime Verification
2 contributors - Paperback
£59.99
Formal Methods: Foundations and Applications
£54.99
Theoretical Aspects of Computing – ICTAC 2020
3 contributors - Paperback
£44.99