Integrated Formal Methods : 8th International Conference, Ifm 2010, Nancy, France, October 11-14, 2010, Proceedings
ISBN: 9783642162657
Information Available:
Summary
Copyright held by Baker & Taylor.