Scalable Translation Validation of Unverified Legacy OS Code.

Amer TahatSarang JoshiPronnoy GoswamiBinoy Ravindran
Published in: FMCAD (2019)
Keyphrases