CITATION STYLE
Hofmann, M., & Schöpp, U. (2008). Pure Pointer Programs with Iteration. In Computer Science Logic (pp. 79–93). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-87531-4_8
Mendeley helps you to discover research relevant for your work.