L. M. Gonzalez

According to our database, L. M. Gonzalez authored at least 1 paper in 1998.

Collaborative distances:

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

1998

Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System.

Gabriel Huecas, Tomás Robles, L. M. Gonzalez, J. Serrano

Proceedings of the Formal Description Techniques and Protocol Specification, 1998