Using Penelope to assess the correctness of NASA Ada software [microform] : a demonstration of formal methods as a counterpart to testing / Carl T. Eichenlaub, C. Douglas Harper, and Geoffrey Hird

Request this item

Request this item to view in the Library’s reading room.

Loading...