Peter Höfner

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Backwards and Forwards with Separation Logic

Callum Bannister and others (2018) · 9th International Conference on Interactive Theorem Proving (ITP) · Springer

Algebraic separation logic

Han Hing Dang and others (2011) · The Journal of Logic and Algebraic Programming · Elsevier