D
enis
N
ikiforov
This is an unofficial reimagining of the
Archive of Formal Proofs
2019
Safe OCL
by
Denis Nikiforov
09 Mar