File Size
17.4 MB
MD5 Checksum
ca82e656a50a5c6e91e8ca6e080c063a
Also available for Download When Formalization Fails - Zhu Qian & Chen. Yang EPUB version.