The analysis of infeasible concurrent paths of concurrent Ada programs.

Ren-Dar Yang, Chyan-Goei Chung

Browse the full COMPSAC paper archive.