2023-01-012024-05-18https://scholars.lib.ntu.edu.tw/handle/123456789/703916基於安全程式語言設計與實作之安全虛擬機器監測器(2/2)