activity
20162025
most citedSymbolic Execution Game Semantics

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LO2019

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning

Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos +1

This volume contains the joint post-proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning (PERR) and the 6th Workshop on Horn Clauses for Verification and…