Login / Signup

Graphical models of separation logic.

Ian WehrmanC. A. R. HoarePeter W. O'Hearn
Published in: Inf. Process. Lett. (2009)
Keyphrases