Formal Verification of Object-O... FoVeOOS (Conference)... Paperback Published 19 Jul 2012 Save $5.82 RRP $54.67 $48.85 In Stock