@inproceedings{LOPSTR-2000-AvelloneFF,
author = "Alessandro Avellone and Mauro Ferrari and Camillo Fiorentini",
booktitle = "{Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation}",
ee = "http://apt.cs.manchester.ac.uk/ftp/pub/TR/UMCS-00-6-1-avellone.ps.Z",
publisher = "{Department of Computer Science, University of Manchester}",
series = "{Technical Report}",
title = "{A formal framework for synthesis and verification of logic programs}",
volume = "UMCS-00-6-1",
year = 2000,
}
Tags: