Academic
Results for "Certifying compilers using higher-order theorem provers as certificate checkers" in All Fields of Study