TY  - BOOK
AU  - Edalat A Et Al
TI  - Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop
SN  - 9781783263455
PB  - ICP
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/p028#t=toc
ER  -