2024-05-182024-05-1811908https://scholars.lib.ntu.edu.tw/handle/123456789/718776Formal VerificationTemporal Logic and AutomataSoftware SecuritySemantic Web正規軟體驗證時序邏輯與自動機軟體安全語意化全球資訊網