Carl T. Eichenlaub

• Using Penelope to assess the correctness of NASA Ada software