A Semantic Foundation for Persistent Programming

Full project page

Organisations map overview