1 search result for "author:"Jade Alglave <j.alglave@ucl.ac.uk>""

Showing 1 - 1
  1. herdtools7
    Documentation
    The herdtools suite for simulating and studying weak memory models
    Luc Maranget <Luc.Maranget@inria.fr> Jade Alglave <j.alglave@ucl.ac.uk>
    7.58
    CECILL-B
    Used by 0 other packages
    13 Feb 2025