Home > Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Book Informaton
Author
John Derrick; Stefania Gnesi; Diego Latella; Helen Treharne
Series
Lecture Notes in Computer Science
Volume
7321
Year of Publication
2012
Publisher
Springer Berlin Heidelberg
Pages
XII, 360
Language
en
ISBN
9783642307287, 9783642307294
ARI Id
1664831569163
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 26 entries
Chapters/Headings | Author(s) | Pages | Info |
1-20 | |||
21-23 | |||
24-38 | |||
39-53 | |||
54-68 | |||
69-83 | |||
84-98 | |||
99-112 | |||
113-127 | |||
128-142 | |||
143-157 | |||
158-173 | |||
174-190 | |||
191-205 | |||
206-220 | |||
221-236 | |||
237-252 | |||
253-267 | |||
268-282 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 26 entries