Author Search Results

Select result number 1
1

Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011)

by L. Kovács, R. Pugliese, TIEZZI, Francesco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Contributors: “...L., Kovác...”

Get access
Get access

Other/Unknown Material
Select result number 2
2

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)
Contributors: “...L., Kovác...”

Get access
Get access

Other/Unknown Material