Search alternatives:
"determinacy" » "indeterminacy", "determinant", "determinar"
Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... -- Proving Determinacy of PharOS in TLA+ -- A Rigorous Correctness Proof for Pastry -- Enabling Analysis...”