pviotti/conver-old

[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.

语言：Erlang · GitHub 星标：18 · Fork：1

话题：consistency · databases · testing · verification

在 GitHub 上查看原仓库