Added CIDSTORINGNODESAUDITLOG invariant.

vinahradau · Jul 4, 2020 · 7730ced · 7730ced
1 parent 3463d68
commit 7730ced
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/CIDFINMA_spec_Z.pdf b/CIDFINMA_spec_Z.pdf