Automated Parametrized Verification of CRDTs

Publication
International Conference on Computer-Aided Verification
Date
Links