Leslie-Lamport
2 posts
[Programming] TLA+ 형식 검증 — 코드를 짜기 전에 버그부터 찾는 법
[Software Architecture] 12. 분산 시스템 아키텍처
Home