Weakest Safe Context Synthesis by Symbolic Game Semantics and Logical Abduction.

Aleksandar S. Dimovski

Browse the full SAC paper archive.