The Journal of Logic and Algebraic Programming 82(8) (ISSN 1567-8326)
Special issue on Automated Specification and Verification of Web Systems / L. Kovacs; R. Pugliese; J. Silva; F. Tiezzi. - STAMPA. - (2013), pp. 241-242. [10.1016/j.jlap.2013.05.007]
Special issue on Automated Specification and Verification of Web Systems
PUGLIESE, ROSARIO;F. Tiezzi
2013
Abstract
The Journal of Logic and Algebraic Programming 82(8) (ISSN 1567-8326)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.