Rizkallah, Christine Algorithms and Complexity, MPI for Informatics, Max Planck Society;
SimplSPVerification.pdf (Any fulltext), 207KB
Rizkallah, C. (2014). A Simpl Shortest Path Checker Verification. In Proceedings of Isabelle Workshop 2014.