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 Selec

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 Selec

158 Pages · 2016 · 15.21 MB · English
by Anna-Lena Lamprecht (eds.)
Download
“ Learning never exhausts the mind. ” ― Leonardo da Vinci
Similar Free eBooks
Load more similar PDF files
PDF Drive investigated dozens of problems and listed the biggest global issues facing the world today. Let's Change The World Together
Pdfdrive:hope Give books away. Get books you want.
Ask yourself: How confident are you in your abilities to make decisions for yourself? Next