Skip to content

ESOP'25

Choose a tag to compare

View all tags
@Lapin0t Lapin0t released this 20 Jan 09:41
· 1 commit to main since this release
esop25-0
182d752

OGS development at the time of submission of the ESOP'25 "An abstract, certified account of operational game semantics". Archived at doi:10.5281/zenodo.14627318 together with the prebuilt docker image.

Assets 4
Loading