Fernando Villar

According to our database, Fernando Villar authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties.

Germán Regis, Fernando Villar, Nicolás Ricci

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013