Juan José Pardo

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2007
Publication period end
2007
Number of co-authors
3

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Tobarra, M. Llanos, Cazorla, Diego, Pardo, Juan José, Cuartero, Fernando (2007): Formal Verification of the Secure Sockets Layer Protocol. In: Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems Volume 2 June 12-16, 2007, Barcelona, Spain. pp. 246-252.