Search Results - Open Polar - "Computer security"

Select result number 1
1

Special issue on Automated Specification and Verification of Web Systems

by L. Kovács, R. Pugliese, J. Silva, TIEZZI, Francesco
Published in The Journal of Logic and Algebraic Programming (2013)
“... be instructive for both computer security researchers and Web developers. The former group of readers would...”

Get access
Get access

Other/Unknown Material