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)
Full text not available from this repository.
Official URL: http://www.sciencedirect.com/science/article/pii/S...
| Item Type: | Article |
|---|---|
| Identification Number: | 10.1016/j.jlap.2013.05.007 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Users 31 not found. |
| Date Deposited: | 28 Oct 2013 11:54 |
| Last Modified: | 29 Jan 2014 14:43 |
| URI: | http://eprints.imtlucca.it/id/eprint/1854 |
Actions (login required)
 |
Edit Item |
