Export: Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging
Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco (1998). Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.
Please select an output format: