Edward Sabinus

According to our database, Edward Sabinus authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Small Step Incremental Verification of Compilers.

Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Proof Construction and Checking on Evolving Abstract State Machines.

Edward Sabinus

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024