Login / Signup

WAVer: A Model Checking-based Tool to Verify Web Application Design.

Daniela CastellucciaMarina MongielloMichele RutaRodolfo Totaro
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases