Linking pages
- User settings, Lamport clocks and lightweight formal methods | Jakub Mikians blog https://jakub-m.github.io/2022/07/17/laport-clocks-formal.html 21 comments
- Best of 2021 in Tech [Talks]. Given it took me until October 2021 to… | by Cindy Sridharan | Medium https://copyconstruct.medium.com/best-of-2021-in-tech-talks-331ec9454b4 0 comments
- Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods: Queue: Vol 22, No 6 https://dl.acm.org/doi/pdf/10.1145/3712057 0 comments