No. Title Author Year
1 Generating Verified LLVM from Isabelle/HOL Lammich, Peter 2019
2 Proof Pearl: Purely Functional, Simple and Efficient Priority Search Trees and Applications to Prim and Dijkstra Lammich, Peter et al. 2019
3 Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL Haslbeck, Maximilian P. L. et al. 2019
Current Page :
Number of result pages: 1
Number of documents: 3


DROPS-Home | Imprint | Privacy Published by LZI