Model Checking, Synthesis, and Learning
3 contributors - Paperback
£54.99
Provably Correct Systems
£89.99
Subscribe to our newsletter, and stay in the loop:
