Szymon Klarman
Description is not available.
05:05
Formal Verification of Data Provenance Records
Dec 10, 2012 3329 views
26:26
Formal Veri cation of Data Provenance Records
Dec 3, 2012 4047 views
Except where otherwise noted, content on this site is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 International license.