Fme 2001 : Formal Methods for Increasing Software Productivity : 10th International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001
ISBN: 9783540417910
Information Available:
Summary
Cover Image
Table Of Contents
Copyright held by Baker & Taylor.