西蒙·福斯特（Simon Foster）等人：通过扩展类型推理实现面向对象模型的正确性。(2012) conf/ictac/FosterRS12 10.1007/978-3-642-32943-2_4 通过扩展类型推理实现面向对象模型的正确性。 三 西蒙·福斯特0001 1 Ondrej Rypacek公司 2 乔治·斯特鲁斯 三 46-60 ICTAC公司 ICTAC公司 2012 2012 dblp记录“conf/ictac/FosterRS12”的RDF数据的来源信息 2018-11-02T09:42:16+0100