L. M. Gonzalez

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Gabriel Huecas, Tomás Robles, L. M. Gonzalez, J. Serrano
Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System. FORTE (1998)