Maurizio Proietti

Maurizio Proietti

Research Scientist, CNR-IASI, Italy
Vahvistettu sähköpostiosoite verkkotunnuksessa iasi.cnr.it
Viittausten määrä 2549
Constrained Horn Clauses Program Verification Logic Programming Program Transformation Business Process Modeling
Isabel Garcia-Contreras

Isabel Garcia-Contreras

Black Duck
Vahvistettu sähköpostiosoite verkkotunnuksessa uwaterloo.ca
Viittausten määrä 129
program analysis program verification abstract interpretation constrained horn clauses software