Reverse Engineering and Interactive Animation of Ada Programs.

Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone

Browse the full SEKE paper archive.