Paper accepted at ASE'22
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
16. 4. 2022
Tryfan and Glyders
Snowdonia, Wales
7. 1. 2022
Lahnerleitenspitze
Eisenerzer Alpen, Österreich
Informatique
Musique
