BibTeX记录conf/ifip/PonsG06
@正在进行{DBLP:conf/ifip/PonsG06， author={Claudia Pons和 迭戈·加尔克（Diego Garc）， editor={Sergio F.Ochoa和 格鲁娅 {-}加泰林 罗马}， title={UML}中精炼条件的实用验证策略 模型}， booktitle={{IFIP}第19届世界计算机大会，第一次国际研讨会 论先进软件工程，拓展软件前沿 科技，2006年8月25日，智利圣地亚哥}， 序列={{IFIP}}， 体积={219}， 页码＝{47-61}， publisher={Springer}， 年份={2006}， url={ https://doi.org/10.1007/978-0-387-34831-5 \_4}, doi={10.1007/978-0-387-34831-5\4}， timestamp={2022年6月23日星期四19:58:44+0200}， biburl={ https://dblp.org/rec/conf/ifip/PonsG06.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
