Fingerprint
Dive into the research topics of 'Non-intrusive repair of safety and liveness violations in reactive programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Non-intrusive repair of safety and liveness violations in reactive programs
David Harel, Guy Katz*, Assaf Marron, Gera Weiss
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
4
Scopus
citations