APA (7th ed.) Citation

Dailler, S., Hauzar, D., Marché, C., & Moy, Y. (2018). Instrumenting a weakest precondition calculus for counterexample generation. Journal of logical and algebraic methods in programming, 99, 97-113. https://doi.org/10.1016/j.jlamp.2018.05.003

Chicago Style (17th ed.) Citation

Dailler, Sylvain, David Hauzar, Claude Marché, and Yannick Moy. "Instrumenting a Weakest Precondition Calculus for Counterexample Generation." Journal of Logical and Algebraic Methods in Programming 99 (2018): 97-113. https://doi.org/10.1016/j.jlamp.2018.05.003.

MLA (9th ed.) Citation

Dailler, Sylvain, et al. "Instrumenting a Weakest Precondition Calculus for Counterexample Generation." Journal of Logical and Algebraic Methods in Programming, vol. 99, 2018, pp. 97-113, https://doi.org/10.1016/j.jlamp.2018.05.003.