7 citations · 11 across the 3 of their papers we have counts for
1 paper · 1 filter
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…