Theoretical Aspects of Computing – ICTAC 2022
3 contributors - Paperback
£44.99
Symbolic Execution and Quantitative Reasoning
Corina S Păsăreanu - Paperback
£22.99
Computer Aided Verification
2 contributors - Paperback
Formal Aspects of Component Software
£41.99
Software Engineering and Formal Methods
£69.99
Subscribe to our newsletter, and stay in the loop:
