APA (7th ed.) Citation

Henzinger, T., Henzinger, T. C., & Miller, D. C. (2014). Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS. ACM.

Chicago Style (17th ed.) Citation

Henzinger, Thomas, Thomas Contributor Henzinger, and Dale Contributor Miller. Proceedings of the Joint Meeting of the Twenty-third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS. [Place of publication not identified]: ACM, 2014.

MLA (9th ed.) Citation

Henzinger, Thomas, et al. Proceedings of the Joint Meeting of the Twenty-third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS. ACM, 2014.