RESOLVE

RESOLVE Software Research Group

Formalizing Mathematical Developments to Support Verifying Compilers

 

Advertisements