@BOOK{ Book!D - 103026624,
AUTHOR = "/ edited by Isil Dillig, Serdar Tasiran.",
TITLE = "Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان",
SUBJECT = "Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.",
URL = "/book/103026624/Computer-aided-verification-31st-International-Co/"}