A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL.

Christoph Matheja

Browse the full VECoS paper archive.