Petar Maksimovic等人：Gillian，第二部分：JavaScript和C的现实世界验证（2021） conf/cav/MaksimovicASG20会议 10.1007/978-3-030-81688-9_38 Gillian，第二部分：JavaScript和C的真实世界验证。 4 彼得·马克西莫维奇 1 萨查·艾莉·阿尤恩 2 何塞·弗拉戈索·桑托斯 三 菲利普·加德纳 4 827-850 卡瓦（2） 卡瓦（2） 2021 2021 dblp记录“conf/cav/MaksimovicASG20”的RDF数据的来源信息 2021-07-23T16:41:30+0200