Rewriting-based verification and debugging of web systems

Tesis doctoral de Daniel Omar Romero The increasing complexity of web system has led to the development of sophisticated formal […]

, , , , ,