Skip to content

Details

Today we continue reading the following paper:

Separation Logic: A Logic for Shared Mutable Data Structures
https://www.cs.cmu.edu/~jcr/seplogic.pdf

Events in Sydney, AU

Members are also interested in