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
Argitalpen urtea: 2023
Alea: 20
Zenbakia: 3
Orrialdeak: 2256-2273
Mota: Artikulua