Rizkallah, Christine Algorithms and Complexity, MPI for Informatics, Max Planck Society;
SimplSPVerification.pdf (全文テキスト(全般)), 207KB
Rizkallah, C. (2014). A Simpl Shortest Path Checker Verification. In Proceedings of Isabelle Workshop 2014.