Report copyright - Derivation of Data Intensive Algorithms by Formal ... · Derivation of Data Intensive Algorithms by Formal Transformation The Schorr-Waite Graph Marking Algorithm Martin Ward email:
Please pass captcha verification before submit form