Trustworthy Global Computing - Barthe, Gilles; Fournet, Cédric; Fournet, C??dric. (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Software Engineering