A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications
M. Alpuente
•
D. Romero
•
BALLIS, Demis
2014
Periodico
SCIENCE OF COMPUTER PROGRAMMING
WOS
Archivio
Diritti
metadata only access