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

Author
Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.)
Publisher
Springer International Publishing
Language
English
Edition
1
Year
2015
Page
XXV, 436
ISBN
978-3-319-25422-7,978-3-319-25423-4
File Type
pdf
File Size
25.2 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book