Lucio Guzmán

According to our database, Lucio Guzmán authored at least 2 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2005

Towards Dynamically Communicating Abstract Machines in the B Method.

Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum

Proceedings of the Formal Methods and Software Engineering, 2005

2004

Implementing Dynamic Aggregations of Abstract Machines in the B Method.

Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum

Proceedings of the Formal Methods and Software Engineering, 2004