这门课名字很misleading。其实好像跟logic和verification有关。
来源:
whaled
于
2022-12-05 11:35:20
[
旧帖
] [
给我悄悄话
] 本文已被阅读:次