Interpolation and Amalgamation for Arrays with MaxDiff.

Silvio Ghilardi, Alessandro Gianola, Deepak Kapur

Browse the full FOSSACS paper archive.