Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
Program verification using symbolic game semantics
2014
21 citations
Journal Article
green Open Access
Field-Weighted Citation Impact:
3.31
Program verification using symbolic game semantics | Researchclopedia