?url_ver=Z39.88-2004&rft_id=10.1023%2FB%3AAUSE.0000028536.34044.47&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Bettini%2C+Lorenzo&rft.aufirst=Lorenzo&rft.aulast=Bettini&rft.issn=0928-8910&rft.atitle=Formulae+Meet+Programs+Over+the+Net%3A+A+Framework+for+Correct+Network+Aware+Programming&rft.title=Automated+Software+Engineering&rft.date=2004&rft.volume=11&rft.issue=3&rft.pages=245-288&rft.genre=article