![](https://www.pdfsearch.io/img/489ad580eb04a820cb7f2f05ab2ab186.jpg) Date: 2014-01-15 23:32:18
| | A simple cloud sync protocol Norbert Preining Research Center for Software Verification Japan Advanced Institute of Science and Technology Workshop on CafeOBJ and Specification VerificationAdd to Reading ListSource URL: www.preining.infoDownload Document from Source Website File Size: 161,43 KBShare Document on Facebook
|