Vol-1194⫷ Vol-1195 ⫸Vol-1196
urn:nbn:de:0074-1195-0


Vol-1195/long7⫷Vol-1195/long8⫸Vol-1195/long9
Emanuele De AngelisAlberto PettorossiFabio FioravantiMaurizio Proietti

Program Verification using Constraint Handling Rules and Array Constraint Generalizations