Home > Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Book Informaton
Author
Radu Calinescu; Bernhard Rumpe
Series
Lecture Notes in Computer Science
Volume
9276
Year of Publication
1st ed. 2015
Publisher
Springer International Publishing
Pages
XI, 369
Language
en
ISBN
9783319229683, 9783319229690, 3319229680
ARI Id
1664999990233
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 35 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XI | |||
1-1 | |||
3-19 | |||
20-34 | |||
35-35 | |||
37-52 | |||
53-68 | |||
69-83 | |||
84-98 | |||
99-107 | |||
108-114 | |||
115-115 | |||
117-131 | |||
132-147 | |||
148-155 | |||
157-157 | |||
159-174 | |||
175-189 | |||
190-195 | |||
197-197 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 35 entries