Università degli Studi di Padova

Program semantics and theory of computing