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
Citace podle Chicago (17th ed.)Wang, Chao, Bing Li, HoonSang Jin, Gary D. Hachtel, a 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.
Citace podle MLA (9th ed.)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.