most citedCompositional Symbolic Execution for the Next 700 Memory Models (Extended Version)

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

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Kaustuv Chaudhuri, Daniele Nantes-Sobrinho

These are the contributed papers presented at the 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025), at Birmingham, UK on 19 Ju…