CITATION STYLE
Moore, J. S., & Brock, B. (2005). A Mechanically Checked Proof of a Comparator Sort Algorithm. In Engineering Theories of Software Intensive Systems (pp. 141–175). Springer-Verlag. https://doi.org/10.1007/1-4020-3532-2_6
Mendeley helps you to discover research relevant for your work.