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