?url_ver=Z39.88-2004&rft_id=10.3233%2FFI-2013-845&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Fabio&rft.au=Fioravanti%2C+Fabio&rft.aulast=Fioravanti&rft.issn=1875-8681&rft.pages=483-502&rft.atitle=Controlling+Polyvariance+for+Specialization-based+Verification&rft.issue=4&rft.volume=124&rft.date=2013&rft.title=Fundamenta+Informaticae&rft.genre=article