Vol-809⫷ Vol-810 ⫸Vol-811
urn:nbn:de:0074-810-0


None⫷None⫸None
Maurizio ProiettiFabio FioravantiAlberto PettorossiValerio Senni

Controlling Polyvariance for Specialization-based Verification