Papers missing from webpage #46

Open

Assignees

michael-schwarz

opened

on Mar 26, 2025

Currently missing are:

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts

Metadata

Assignees

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests