Infoscience
Integrated Formal Methods 2010, 8th International Conference
October 11-14, 2010
Nancy, France