Rebecca GHIDINI
Rebecca GHIDINI
Affiliation: DI ENS, École Normale Supérieure, PSL, CNRS, INRIA
Pages in this Program
Incremental Kasa: Static Analysis of Kappa Models at Edit Time (tool paper)
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑