Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Butler, Sylvain Conchon, Fatiha Zaïdi, editors, Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Volume 9407 of Lecture Notes in Computer Science, Springer, 2015. [doi]

Conference: icfem2015

This author has not been identified. Look up 'Michael Butler' in GoogleThis author has not been identified. Look up 'Sylvain Conchon' in GoogleThis author has not been identified. Look up 'Fatiha Zaïdi' in Google

runs on WebDSL