No. |
Title |
Author |
Year |
---|

1 |
Trustworthy Graph Algorithms (Invited Talk) |
Abdulaziz, Mohammad et al. |
2019 |

2 |
Formalized Proof Systems for Propositional Logic |
Michaelis, Julius et al. |
2018 |

3 |
Verified Analysis of Functional Data Structures |
Nipkow, Tobias |
2016 |

4 |
Verified Analysis of List Update Algorithms |
Haslbeck, Maximilian P. L. et al. |
2016 |

5 |
Deduction and Arithmetic (Dagstuhl Seminar 13411) |
Bjorner, Nikolaj et al. |
2014 |

6 |
09411 Abstracts Collection -- Interaction versus Automation: The two Faces of Deduction |
Ball, Thomas et al. |
2010 |

7 |
09411 Executive Summary -- Interaction versus Automation: The two Faces of Deductions |
Ball, Thomas et al. |
2010 |

8 |
Towards a Verified Enumeration of All Tame Plane Graphs |
Nipkow, Tobias et al. |
2006 |