年度	2020
全部作者	洪智鐸
論文名稱	Oliver Markgraf*;Chih-Duo Hong;Anthony Lin;Muhammad Najib;Daniel Neider, 2020.11, 'Parameterized Synthesis with Safety Properties, ' The 18th Asian Symposium on Programming Languages and Systems (APLAS), Kyushu University.(DBLP, Springer)(*為通訊作者)
發表日期	2020-11-01
ISI Number	107189