![](/img/cover-not-exists.png)
Local Reasoning about Data Update
Cristiano Calcagno, Philippa Gardner, Uri ZarfatyVolume:
172
Year:
2007
Language:
english
Pages:
43
DOI:
10.1016/j.entcs.2007.02.006
File:
PDF, 664 KB
english, 2007