"RefinedC: automating the foundational verification of C code with refined ..."

Michael Sammler et al. (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics