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

  1. herdtools7
    The herdtools suite for simulating and studying weak memory models
    Luc Maranget <Luc.Maranget@inria.fr> Jade Alglave <j.alglave@ucl.ac.uk>
    7.56.3
    CECILL-B
    Used by 0 other packages
    Last published 10 Feb 2023