TY  - BOOK
AU  - Pnueli A Et Al
TI  - Logic and Software Engineering - Proceedings of the International Workshop in Honor of Chih-Sung Tang
SN  - 9789814530729
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/3232#t=toc
ER  -