Proof Construction and Checking on Evolving Abstract State Machines. - Edward Sabinus (ABZ, 2024)

Small Step Incremental Verification of Compilers. - Wolf Zimmermann; Thomas Kühn 001; Edward Sabinus; Mandy Weißbach (ABZ, 2024)