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

Gabriel Huecas, Toms Robles, L. M. Gonzalez, J. Serrano

Browse the full FORTE paper archive.