TY  - RPRT
TI  - Sufficient Incorrectness Logic: SIL and Separation SIL
AU  - Flavio Ascari
AU  - Roberto Bruni
AU  - Roberta Gori
AU  - Francesco Logozzo
PY  - 2024
DO  - 10.1145/3720486
UR  - https://arxiv.org/abs/2310.18156
ID  - 2310.18156
ER  -