Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
- Albert, E.
- Grossman, S.
- Rinetzky, N.
- Rodriguez-Nunez, C.
- Rubio, A.
- Sagiv, M.
ISSN: 1941-0018, 1545-5971
Any de publicació: 2023
Volum: 20
Número: 3
Pàgines: 2256-2273
Tipus: Article