LLogics for low-level code and proof-preserving program transLogics for low-level code and proof-preserving program transformationsde Ando SaabasEdiciones (1)Logics for low-level code and proof-preserving program transformations (2008)inglés · ISBN 9789985598658