CITATION STYLE
Benl, H., & Schwichtenberg, H. (1999). Formal Correctness Proofs of Functional Programs: Dijkstra’s Algorithm, a Case Study. In Computational Logic (pp. 113–126). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-58622-4_4
Mendeley helps you to discover research relevant for your work.