Fm 2006: Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings
ISBN: 9783540372165
Information Available:
Summary
Copyright held by Baker & Taylor.