All Stories

  1. Assuring Correctness, Testing, and Verification of Compiler Design.

    Article • May 2024, ACM (Association for Computing Machinery)

    Mehmet Aydin, BASHIR SANUSI, Professor Stephen Olatunde Olabiyisi