Fm 2005, Formal Methods : International Symposium of Formal Methods Europe, Newcastle, Uk, July 18-22, 2005, Proceedings
ISBN: 9783540317142
Information Available:
Summary
Copyright held by Baker & Taylor.