Claudia Pons和Diego García：UML模型中精化条件的实用验证策略。(2006) conf/ifip/PonsG06 10.1007/978-0-387-34831-5_4 UML模型中精化条件的实用验证策略。 2 克劳迪娅·彭斯 1 迭戈·加西亚 2 47-61 IFIP高级软件工程研讨会 IFIP高级软件工程研讨会 2006 2006 dblp记录“conf/ifip/PonsG06”的RDF数据的来源信息 2022-06-23T19:58:44+0200