Callum Bannister

5 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.

Forward with separation logic

Callum Bannister (2019)

Backwards and Forwards with Separation Logic

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

False Failure: Creating Failure Models for Separation Logic

Callum Bannister and others (2018) · Springer International Publishing

Automated Tactics for separation logic proofs

Callum Bannister (2013)

Formally Verified System Initialisation

Andrew Boyton and others (2013) · Lecture notes in computer science · Springer Science+Business Media