Logo eprints

Items where Author is "Silva, Josep"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: 2013 | 2012
Number of items: 2.

2013

Ková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)

2012

Silva, Josep and Tiezzi, Francesco Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). EPTCS. (2012)

This list was generated on Fri May 3 10:19:02 2024 CEST.
EPrints Logo
IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.