Yu-Yang Lin: Symbolic Execution Game Semantics (FSCD B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-12

Authors: Yu-Yang Lin and Nikos Tzevelekos

Aired: 2020-02-01 13:00:00 CEST (UTC+2)