Home > Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Book Informaton
Author
Michael Butler; Sylvain Conchon; Fatiha Zaïdi
Series
Lecture Notes in Computer Science
Volume
9407
Year of Publication
1st ed. 2015
Publisher
Springer International Publishing
Pages
XXV, 436
Language
en
ISBN
9783319254227, 9783319254234
ARI Id
1664701983920
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 29 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XXV | |||
1-16 | |||
17-32 | |||
33-49 | |||
50-66 | |||
67-83 | |||
84-99 | |||
100-115 | |||
116-133 | |||
134-152 | |||
153-169 | |||
170-186 | |||
187-200 | |||
201-216 | |||
217-233 | |||
234-251 | |||
252-269 | |||
270-286 | |||
287-303 | |||
304-311 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 29 entries
Topics