Javier Albors

According to our database, Javier Albors authored at least 1 paper in 2014.

Collaborative distances:

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

2014

SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents.

Javier Albors, Marisa Navarro

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014