What's in Unison? A Formal Specification and Reference Implementation of a File Synchronizer (2004)

by Benjamin C. Pierce , Jérôme Vouillon
Citations:19 - 8 self