Fm 2008, Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
ISBN: 9783540682370
Information Available:
Summary
Inside Flap
Cover Image
Copyright held by Baker & Taylor.