John J.Camilleri等人：从规范文本中提取形式模型。（2017年） 期刊/corr/CamilleriGS17 1706.04997 从规范文本中提取形式模型。 三 约翰·卡米莱里 1 Normunds Gruzitis公司 2 杰拉尔多·施奈德 三 CoRR公司 CoRR公司 abs/1706.04997 2017 dblp记录“journals/corr/CamilleriGS17”的RDF数据的来源信息 2018年8月13日16:48:22+0200