Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011)
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) / L.Kovács; R.Pugliese; F.Tiezzi. - ELETTRONICO. - (2011), pp. 1-1. [10.4204/EPTCS.61]
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011)
PUGLIESE, ROSARIO;F. Tiezzi
2011
Abstract
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011)File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.