Applying ASP to UML Model Validation.

Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano

Browse the full LPNMR paper archive.