APA (7th ed.) Citation

Keimel, K., Rosenbusch, A., & Streicher, T. (2011). Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language. Theoretical Computer Science, 412(25), 2701. https://doi.org/10.1016/j.tcs.2010.12.029

Chicago Style (17th ed.) Citation

Keimel, K., A. Rosenbusch, and T. Streicher. "Relating Direct and Predicate Transformer Partial Correctness Semantics for an Imperative Probabilistic-nondeterministic Language." Theoretical Computer Science 412, no. 25 (2011): 2701. https://doi.org/10.1016/j.tcs.2010.12.029.

MLA (9th ed.) Citation

Keimel, K., et al. "Relating Direct and Predicate Transformer Partial Correctness Semantics for an Imperative Probabilistic-nondeterministic Language." Theoretical Computer Science, vol. 412, no. 25, 2011, p. 2701, https://doi.org/10.1016/j.tcs.2010.12.029.