Theoretical Aspects of Computing – ICTAC 2022
3 contributors - Paperback
£44.99
Formal Aspects of Component Software
2 contributors - Paperback
£41.99
Symbolic Execution and Quantitative Reasoning
Corina S Păsăreanu - Paperback
£22.99
Computer Aided Verification
Software Engineering and Formal Methods
£69.99