Fingerprint
Dive into the research topics of 'Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules with Callbacks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodriguez Nunez, Albert Rubio, Mooly Sagiv
Research output: Contribution to journal › Article › peer-review