Ando Saabas · 1 obras en el catálogoObrasLLogics for low-level code and proof-preserving program transLogics for low-level code and proof-preserving program transformations
LLogics for low-level code and proof-preserving program transLogics for low-level code and proof-preserving program transformations