Login / Signup

A Simple Model of Separation Logic for Higher-Order Store.

Lars BirkedalBernhard ReusJan SchwinghammerHongseok Yang
Published in: ICALP (2) (2008)
Keyphrases