Login / Signup

Algebraic separation logic.

Han-Hing DangPeter HöfnerBernhard Möller
Published in: J. Log. Algebraic Methods Program. (2011)
Keyphrases