APA (7th ed.) Citation

Slobodova, A., Davis, J., Swords, S., & Hunt, W. (2011, July). A flexible formal verification framework for industrial scale validation. 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 89-97. https://doi.org/10.1109/MEMCOD.2011.5970515

Chicago Style (17th ed.) Citation

Slobodova, Anna, Jared Davis, Sol Swords, and Warren Hunt. "A Flexible Formal Verification Framework for Industrial Scale Validation." 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign Jul. 2011: 89-97. https://doi.org/10.1109/MEMCOD.2011.5970515.

MLA (9th ed.) Citation

Slobodova, Anna, et al. "A Flexible Formal Verification Framework for Industrial Scale Validation." 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Jul. 2011, pp. 89-97, https://doi.org/10.1109/MEMCOD.2011.5970515.