Showing 1 - 1 results of 1 for search 'Alexander Leitsch', query time: 0.02s Refine Results
  1. 1
    PROOFTOOL: a GUI for the GAPT Framework

    PROOFTOOL: a GUI for the GAPT Framework by Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel-Paleo

    Published 2013-07-01
    Get full text
    Article

Search Tools: