Hacker Neus
Formal Verification of Zero-Downtime Database Migration in PlusCal
(biradarganesh25.github.io)
48 points
by code_monk666
10 days ago |
6 comments
