2 search results for "author:"Luc Maranget <Luc.Maranget@inria.fr>""

Showing 1 - 2
  1. 5.01
    LGPL-2.0-or-later
    Used by 0 other packages
    24 Oct 2014
  2. The herdtools suite for simulating and studying weak memory models
    7.57
    CECILL-B
    Used by 0 other packages
    30 Apr 2024