2017

  • Philipp Körner, Sebastian Krings
    plspec - A Specification Language for Prolog Data.
    In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, Technical Report, 499, University of Würzburg, 2017.
    • David Schneider
      Constraint Modelling and Data Validation Using Formal Specification Languages.
      PhD Thesis, Heinrich-Heine-Universität Düsseldorf, 2017.
    • Janine Golov, Jens Bendisposto
      (Teil)-Invertierung der Programmierausbildung.
      In Inverted Classroom - The next Stage, Lernen und Lehren im 21. Jahrhundert, Sabrina Zeaiter and Jürgen Handke, Tectum, 29--37, 2017.