shukla

Dharma Shukla：Microsoft的TLA +构建行星级系统-主题演讲TLA +社区活动-YouTube