RESOLVE

RESOLVE Software Research Group

Formalizing Mathematical Developments to Support Verifying Compilers