Tools for Design, Implementation and Verification of Emerging Information Technologies 4 contributors - Paperback £44.99 Find out more