APA (7th ed.) Citation

Wang, C., Li, B., Jin, H., Hachtel, G. D., & Somenzi, F. (2003, November 9). Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003, 408. https://doi.org/10.5555/996070.1009923

Chicago Style (17th ed.) Citation

Wang, Chao, Bing Li, HoonSang Jin, Gary D. Hachtel, and Fabio Somenzi. "Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement." International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM International Conference on Computer-aided Design; 09-13 Nov. 2003 9 Nov. 2003: 408. https://doi.org/10.5555/996070.1009923.

MLA (9th ed.) Citation

Wang, Chao, et al. "Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement." International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM International Conference on Computer-aided Design; 09-13 Nov. 2003, 9 Nov. 2003, p. 408, https://doi.org/10.5555/996070.1009923.