@BOOK{ Book!D - 93588727,
AUTHOR = "/ Gilles Barthe, Manuel Hermenegildo",
TITLE = "Verification, Model Checking, and Abstract Interpretation",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "COMPUTER SCIENCE, SOFTWARE ENGINEERING",
URL = "/book/93588727/Verification-Model-Checking-and-Abstract-Interpr/"}