. . . . . “Mnacho-Echenim等人：Ilinva:使用外推生成循环不变量。（2019）”。 . _：标识_98350b61cf430701702b370a25763cc0。_：ID_98350b61cf430701702b370a25763cc0 ._：ID_98350b61cf430701702b370a25763cc0 ._：ID_98350b61cf430701702b370a25763cc0 ._：ID_98350b61cf430701702b370a25763cc0“conf/frocos/EchenimPS19”。 _：ID_98d313ab30b3b7440b60c9afa0ee0d38。_：ID_98d313ab30b3b7440b60c9afa0ee0d38 ._：ID_98d313ab30b3b7440b60c9afa0ee0d38 ._：ID_98d313ab30b3b7440b60c9afa0ee0d38 ._：ID_98d313ab30b3b7440b60c9afa0ee0d38"10.1007/978-3-030-29007-8_5" . “Ilinva:使用Abduction生成循环不变量。”。 . . . . . . . "3"^^. _：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_1。_：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_1 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_1 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_1“Mnacho Echenim”。_：信号_f5cdc624791996bdcdc3f1cccf4ccc7c_1 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_1"1"^^._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_1 . _：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_2。_：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c2 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c2 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c2“尼古拉斯·佩尔蒂埃”。_：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c2 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c2"2"^^._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_2 . _：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_3。_：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c3 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c3 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c3“Yanis Sellami”。_：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c_3 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c3 ._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c3"3"^^._：Sig_f5cdc624791996bdcdc3f1cccf4ccc7c3 . . . . . "77-93" . “FroCos”。 “FroCos”。 "2019"^^. "2019"^^. . “dblp记录'conf/frocos/EchenimPS19'的RDF数据的起源信息”。 . . . “2024-03-22T08:50:36+0100”。