Vol-856⫷ Vol-857 ⫸Vol-858
urn:nbn:de:0074-857-0


None⫷None⫸None
Emanuele De AngelisMaurizio ProiettiAlberto PettorossiFabio Fioravanti

Software Model Checking by Program Specialization