Peter Schrammel
Home
(current)
Informatique
Publications
Activités
Enseignement
Logiciel
Biographie
Musique
Concerts
Biographie
Montagnes
Sorties
Vélo autour de...
Biographie
FR
DE
EN
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
Montagnes
Impressum