Author/Creator: ISoLA (Symposium), 6th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator ISoLA (Symposium), 6th

1. Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers. (2016)

Authors:: Lamprecht, Anna-Lena
Other Names:: ISoLA (Symposium), 6th; ISoLA (Symposium), 5th
Record Type:: Book
Extent:: 1 online resource (157 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗