2 search results for "author:"Thomas Tuerk""

  1. lem
    Documentation
    Lem is a tool for lightweight executable mathematics
    Dominic Mulligan Francesco Zappa Nardelli Gabriel Kerneis Kathy Gray Peter Boehm et al.
    2022-12-10
    BSD-3-Clause; LGPL-2.1-or-later
    Used by 3 other packages
    12 Dec 2022
  2. sibylfs
    Documentation
    formal specification and oracle-based testing for POSIX file systems
    Tom Ridge <tom.j.ridge@googlemail.com> Thomas Tuerk <tt291@cl.cam.ac.uk> David Sheets <sheets@alum.mit.edu> Andrea Giugliano <agiugliano@live.it>
    0.5.0
    Used by 0 other packages
    04 Oct 2015