, , ,
Software Analysis and Transformation

van Eijck, D.J.N. (2013, January). From Number Guessing Games to Security Protocol Analysis and Back.