https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Arie%20Gurfinkel%22&sort_by=pubdate_dsc&format=rss 4 0 50 ISBN:9783319296135 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43098 ]]> By Arie Gurfinkel, Sanjit A. Seshia.
Springer 2016 9783319296135

]]> Place hold on Verified Software: Theories, Tools, and Experiments

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43098 ISBN:978-3-031-65627-9 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56695 ]]> By Arie Gurfinkel.
Heidelberg, Germany Springer Nature 2024 978-3-031-65627-9

]]> Place hold on Computer Aided Verification

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56695 ISBN:978-3-031-65633-0 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56688 ]]> By Arie Gurfinkel.
Heidelberg, Germany Springer Nature 2024 978-3-031-65633-0

]]> Place hold on Computer Aided Verification

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56688 ISBN:978-3-031-65630-9 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56687 ]]> By Arie Gurfinkel.
Heidelberg, Germany Springer Nature 2024 978-3-031-65630-9

]]> Place hold on Computer Aided Verification

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56687