GitHub - CertiKOS/rbgs-papers: Publications about refinement-based game semantics

Name		Name	Last commit message	Last commit date
Latest commit History 1,245 Commits
algebras		algebras
certikos		certikos
compcertoe		compcertoe
compcertox		compcertox
leopam		leopam
overview		overview
rbgs-cal		rbgs-cal
rbgs-compcert		rbgs-compcert
security		security
shf26		shf26
swapcontext		swapcontext
thesis		thesis
yu-thesis		yu-thesis
.gitignore		.gitignore
TODO.md		TODO.md
references.bib		references.bib