Login / Signup

Model-checking-driven explorative testing of CRDT designs and implementations.

Yuqi ZhangYu HuangHengfeng WeiXiaoxing Ma
Published in: J. Softw. Evol. Process. (2024)
Keyphrases