-
Bib ID# 40005
ISBN: 9783642162657
UPC: 10.1007/978-3-642-16265-7
Title: Integrated Formal Methods8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Author: Méry, Dominique.
Publication Info:
Item Type: Language material