Home > Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Book Informaton
Author
Tiziana Margaria; Bernhard Steffen
Series
Lecture Notes in Computer Science
Volume
11245
Year of Publication
1st ed. 2018
Publisher
Springer International Publishing
Pages
XIII, 496
Language
en
ISBN
9783030034207, 9783030034214
ARI Id
1665149681240
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 38 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XIII | |||
1-1 | |||
3-7 | |||
8-27 | |||
28-52 | |||
53-63 | |||
64-74 | |||
75-91 | |||
92-102 | |||
103-119 | |||
120-136 | |||
137-137 | |||
139-143 | |||
144-159 | |||
160-178 | |||
179-196 | |||
197-215 | |||
216-234 | |||
235-257 | |||
259-259 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 38 entries