?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Fabio&rft.aulast=Fioravanti&rft.au=Fioravanti%2C+Fabio&rft.title=Controlling+Polyvariance+for+Specialization-based+Verification&rft.btitle=(ed.+by+F.+Fioravanti)+Proceedings+of+the+26th+Italian+Conference+on+Computational+Logic+(CILC'11)&rft.tpages=414&rft.date=2011&rft.genre=bookitem