Javier García-Vivó

According to our database, Javier García-Vivó authored at least 2 papers in 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

A Rule-based System for Web site Verification.

Demis Ballis, Javier García-Vivó

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

A Rewriting-based system for Web site Verification.

Demis Ballis, Javier García-Vivó

Proceedings of the First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 2005