We present and evaluate a pipeline allowing for the quantification of C-programs according to their specification adherence.
23. Aug 2021
Bachelor Thesis
16. Sep 2019
