Don't verify, abstract!

MLA

O’Halloran, C., and A. Smith. “Don’t Verify, Abstract!” Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat No98EX239), Jan. 1998, pp. 53–62. EBSCOhost, https://doi.org/10.1109/ASE.1998.732573.

APA

O’Halloran, C., & Smith, A. (1998). Don’t verify, abstract! Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat No98EX239), 53–62. https://doi.org/10.1109/ASE.1998.732573

Chicago

O’Halloran, C., and A. Smith. 1998. “Don’t Verify, Abstract!” Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat No98EX239), January, 53–62. doi:10.1109/ASE.1998.732573.