APA (7th ed.) Citation

Gore, R., & Diallo, S. (2013, December). The need for usable formal methods in verification and validation. 2013 Winter Simulations Conference (WSC), 1257-1268. https://doi.org/10.1109/WSC.2013.6721513

Chicago Style (17th ed.) Citation

Gore, Ross, and Saikou Diallo. "The Need for Usable Formal Methods in Verification and Validation." 2013 Winter Simulations Conference (WSC) Dec. 2013: 1257-1268. https://doi.org/10.1109/WSC.2013.6721513.

MLA (9th ed.) Citation

Gore, Ross, and Saikou Diallo. "The Need for Usable Formal Methods in Verification and Validation." 2013 Winter Simulations Conference (WSC), Dec. 2013, pp. 1257-1268, https://doi.org/10.1109/WSC.2013.6721513.