top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06)
ID:
2333386
Persona
Opera