引用人
恩德斯M Fakhoury S公司 查克拉博蒂S 拉希里S (2024) 大型语言模型能否将自然语言意图转换为形式方法后置条件? ACM软件工程会议录 10.1145/3660791 1 :FSE (1889-1912) 在线发布日期:2024年7月12日 刘H 李G (2024) 利用除法征服和修剪的经验可扩展不变量生成 软件工程的理论方面 10.1007/978-3-031-64626-3_19 (324-342) 在线发布日期:2024年7月29日 简体中文 里希特C Wehrheim H公司 (2024) ChatGPT是否支持软件验证? 软件工程的基本方法 10.1007/978-3-031-57259-3_13 (266-279) 在线发布日期:2024年4月6日 显示更多引用者