APA (7th ed.) Citation

Krautz, U., Paruthi, V., Arunagiri, A., Kumar, S., Pujar, S., & Babinsky, T. (2014). Automatic Verification of Floating Point Units. DAC: Annual ACM/IEEE Design Automation Conference, 886. https://doi.org/10.1145/2593069.2593096

Chicago Style (17th ed.) Citation

Krautz, Udo, Viresh Paruthi, Anand Arunagiri, Sujeet Kumar, Shweta Pujar, and Tina Babinsky. "Automatic Verification of Floating Point Units." DAC: Annual ACM/IEEE Design Automation Conference 2014: 886. https://doi.org/10.1145/2593069.2593096.

MLA (9th ed.) Citation

Krautz, Udo, et al. "Automatic Verification of Floating Point Units." DAC: Annual ACM/IEEE Design Automation Conference, 2014, p. 886, https://doi.org/10.1145/2593069.2593096.