@BOOK{ Book!D - 93607106,
AUTHOR = "/ ois Raskinغ‍Fran-Franck Cassez, Jean",
TITLE = "Automated Technology for Verification and Analysis",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "COMPUTER SCIENCE, SOFTWARE ENGINEERING",
URL = "/book/93607106/Automated-Technology-for-Verification-and-Analysis/"}