Verification, Model Checking, a... VMCAI (Conference), ... Paperback Published 26 Dec 2015 Save $4.23 RRP $62.44 $58.21 In Stock