Skip to content

On-The-Fly Verification: Advancements in Dependency Graphs (Invited Talk).

Jir Srba

VenueBCONCUR
Year2025
ProceedingsCONCUR

Browse the full CONCUR paper archive.