Home > Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 20 of 52 entries
Chapters/Headings | Author(s) | Pages | Info |
1-4 | |||
5-21 | |||
22-36 | |||
37-53 | |||
54-73 | |||
74-87 | |||
88-103 | |||
104-119 | |||
120-134 | |||
135-142 | |||
143-159 | |||
160-176 | |||
177-192 | |||
193-207 | |||
208-222 | |||
223-238 | |||
239-253 | |||
254-273 | |||
274-276 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 52 entries