Controlling Polyvariance for Specialization-based Verification.
['Fabio Fioravanti', 'Alberto Pettorossi', 'Maurizio Proietti', 'Valerio Senni']
Controlling Polyvariance for Specialization-based Verification.