. . . . . “Petra van den Bos和Marieke Huisman：测试和程序验证的集成——立场文件（2022）”。 . . _：ID_801fa3878bbb16cad98fb2af05e2f1cb。_：ID_801fa3878bbb16cad98fb2af05e2f1cb ._：ID_801fa3878bbb16cad98fb2af05e2f1cb ._：ID_801fa3878bbb16cad98fb2af05e2f1cb“conf/生日/BosH22”。 _：ID_9c22d659226c14470afce2f018105070。_：ID_9c22d659226c14470afce2f018105070 ._：ID_9c22d659226c14470afce2f018105070 ._：ID_9c22d659226c14470afce2f018105070“10.1007/978-3-031-15629-8_28”。 “测试与程序验证的集成——一份立场文件。”。 . . . "2"^^. _：Sig_9cea742c2e3a0ef65a8353a6150f_1。_：Sig_9cea742c2e3a0ef65a8353a6150f_1 ._：Sig_9cea742c2e3a0ef65a8353a6150f_1“佩特拉·范登·博斯”。_：Sig_9cea742c2e3a0ef65a8353a6150f_1 ._：Sig_9cea742c2e3a0ef65a8353a6150f_1“1”^^._：Sig_9cea742c2e3a0ef65a8353a6150f_1 . _：Sig_9cea742c2e3e3ef65a8353a6150f_2。_：Sig_9cea742c2e7e3ef65a8353a6150f_2 ._：Sig_9cea742c2e7e3ef65a8353a6150f_2“玛丽克·赫斯曼”。_：Sig_9cea742c2e7e3ef65a8353a6150f_2 ._：Sig_9cea742c2e7e3ef65a8353a6150f_2 ._：Sig_9cea742c2e7e3ef65a8353a6150f_2"2"^^._：Sig_9cea742c2e7e3ef65a8353a6150f_2 . . . . “524-538”。 “从过程代数到时间自动机到模型学习的旅程”。 “从过程代数到时间自动机到模型学习的旅程”。 "2022"^^. "2022"^^. . “dblp记录'conf/bushday/BosH22'的RDF数据的起源信息”。 . . . “2022-09-22T19:57:46+0200”。