https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Vijay%20Ganesh%22&sort_by=pubdate_dsc&format=rss 4 0 50 ISBN: https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=49864 By Zhe Hou.
Springer Nature 2021 , One time purchase [Perpetual access]

]]> Place hold on Automated Technology for Verification and Analysis

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=49864 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