Fm'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings
ISBN: 9783540665878



Information Available:
Summary
Table Of Contents





Copyright held by Baker & Taylor.