Fme 2002: Formal Methods-Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 2002: Proceedings (Lecture Notes in Computer Science, 2391)
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay, A. C. Schrijver List Price: $91.00 Our Price: Click to see the latest and low price ISBN: 3540439285 Publisher: Springer Verlag (August, 2002) Edition: Paperback