?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Gadducci&rft.aufirst=Fabio&rft.au=Gadducci%2C+Fabio&rft.volume=2&rft.issue=2&rft.atitle=A+Lewisian+approach+to+the+verification+of+adaptive+systems&rft.title=Rivista+Italiana+di+Filosofia+Analitica+Junior+&rft.date=2011&rft.issn=2037-4445&rft.genre=article