Verification of sets of infinite state processes using program transformation - FIORAVANTI, Fabio; PETTOROSSI, Alberto; PROIETTI, Maurizio (LOPSTR : logic based program synthesis and transformation (Paphos, 28-30 November 2001, selected papers), 2002)
text