APA Citation

Berger, U., Seisenberger, M., & Woods, G. (2014). Extracting Imperative Programs from Proofs: In-place Quicksort. Leibniz International Proceedings in Informatics (LIPIcs), 26, pp. 84-106. doi:10.4230/LIPIcs.TYPES.2013.84

Chicago Style Citation

Berger, Ulrich, Monika Seisenberger, and Gregory Woods. "Extracting Imperative Programs From Proofs: In-place Quicksort." Leibniz International Proceedings in Informatics (LIPIcs) 26 (2014): 84-106.

MLA Citation

Berger, Ulrich, Monika Seisenberger, and Gregory Woods. "Extracting Imperative Programs From Proofs: In-place Quicksort." Leibniz International Proceedings in Informatics (LIPIcs) 26 (2014): 84-106.

Warning: These citations may not always be 100% accurate.