GitHub repository: CertiKOS/rbgs-papers
Primary language: TeX
Created: 2019-11-26T19:14:22Z
Description: Publications about refinement-based game semantics