Items where Author is "Silva, Josep"
Number of items: 6. KoKovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013) PuKovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013) SiKovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013) Silva, Josep and Tiezzi, Francesco Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). EPTCS. (2012) TiKovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013) Silva, Josep and Tiezzi, Francesco Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). EPTCS. (2012) |
