Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems 3 contributors - Hardback £89.99 Find out more
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems 3 contributors - Paperback £88.00 Find out more