Applications of Game Semantics: From Program Analysis to Hardware Synthesis

Research output: Contribution to conference (unpublished)Paper

27 Citations (Scopus)

Search results