这门课名字很misleading。其实好像跟logic和verification有关。

来源: 2022-12-05 11:35:20 [旧帖] [给我悄悄话] 本文已被阅读: