Guiding the Correction of Parameterized Specifications.

Jean-Franois Couchot, Frdric Dadeau

Browse the full IFM paper archive.