Michele Bugliesi
2 published titles
Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings
(Contributor)
1 edition
- ISBN: 9783540359074
- Springer
- 2006
- Details
Security protocol specification and verification and AnBx
1 edition
- Newcastle University, Computing Science
- Details
