Home > Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Book Informaton
Author
Nadia Polikarpova; Steve Schneider
Series
Lecture Notes in Computer Science
Volume
10510
Year of Publication
1st ed. 2017
Publisher
Springer International Publishing
Pages
XXI, 438
Language
en
ISBN
9783319668444, 9783319668451, 3319668447
ARI Id
1664708854903
This page has been accessed 9 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 37 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XXI | |||
1-1 | |||
3-17 | |||
18-33 | |||
34-49 | |||
50-66 | |||
67-67 | |||
69-84 | |||
85-101 | |||
102-110 | |||
111-126 | |||
127-127 | |||
129-144 | |||
145-160 | |||
161-176 | |||
177-191 | |||
193-193 | |||
195-210 | |||
211-226 | |||
227-242 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 37 entries
Topics