TY  - BOOK
A1  - / Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
TI  - Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93593449
UR  /book/93593449/Verification-Induction-Termination-Analysis-Fes/
ER  -