Mechanized Verification of CPS Transformations

by Zaynah Dargaye , Xavier Leroy
Citations:5 - 0 self