Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
1 paper
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Establishing equivalences between programs or systems is crucial both for verifying correctness of programs, by establishing that two implementations are equivalent, and for justif…