Glück, Robert,
2013,
Semantics, abstract interpretation, and reasoning about programs. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.).
Vol. 129.
p. 250-258 9 p. (Electronic Proceedings in Theoretical Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review