Appel, A. W. Et.allà
Program logics for certified compilers - New York Cambridge University Press 2014 - ix, 458p.
978-1-107-04801-0
Program logics for certified compilers - New York Cambridge University Press 2014 - ix, 458p.
978-1-107-04801-0