A Formal Framework for Synthesis and Verification of Logic Programs.
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
VenueCLOPSTR
Year2000
ProceedingsLOPSTR (LNCS 2042: Selected Papers)
DBLP recordconf/lopstr/AvelloneFF00a ↗
Browse the full LOPSTR paper archive.