Formal Approaches to Software T... FATES 2003, Alexandr... Paperback Published 28 Jan 2004 Save $7.57 RRP $62.44 $54.87 In Stock