Example image of eyePlorer eyePlorer map for 'Separation logic': Computer science Hoare logic John C. Reynolds Axiom Information hiding Algorithm Formal verification Parallel computing Richard Bornat Bunched logic
Disclaimer