Sonia Flores

According to our database, Sonia Flores authored at least 1 paper in 2007.

Collaborative distances:

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

2007

Formal Verification of Websites.

Sonia Flores, Salvador Lucas, Alicia Villanueva

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007