Showing 1 - 2 results of 2 for search 'Burkhart Wolff', query time: 0.16s Refine Results
  1. 1
    Deeply Integrating C11 Code Support into Isabelle/PIDE
    by Frédéric Tuong, Burkhart Wolff
    Published 2019-12-01
    Get full text
    Article
  2. 2
    Isabelle/PIDE as Platform for Educational Tools
    by Makarius Wenzel, Burkhart Wolff
    Published 2012-02-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search