|
|||||
|
|
A rewriting logic approach to the formal specification and verification of web applications |
|
| Affiliation: | 1. DSIC-ELP, Universitat Politècnica de València, Camino de Vera s/n, Apdo 22012, 46071 Valencia, Spain;2. Dipartimento di Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy |
| Abstract: | |
| Keywords: | Web verification Rewrite theory Model checking LTLR |
| 本文献已被 ScienceDirect 等数据库收录！ | |
