Shneydor, Efrat books & textbook
Advanced Verification Topics
Bhattacharya, Bishnupriya Decker, John Hall, Gary Heaton, Nick Kashai, Yaron Khan, Neyaz Kirshenbaum, Zeev Shneydor, Efrat
Lulu.com /2011-09-30 Paperback / 250 Pages
isbn-10: 1105113752 / isbn-13: 9781105113758