题名：基于模型驱动的分治并行函数式程序生成及自动验证

作者：王昌晶;王忠文;潘丞;黄箐;左正康;

来源：

出版机构：同方知网（北京）技术有限公司

出版年:

DOI码：10.19363/J.cnki.cn10-1380/tn.2023.05.07

注册时间：2023-07-06 20:15:55

以下是您获得的URL地址： https://link.cnki.net/doi/10.19363/J.cnki.cn10-1380/tn.2023.05.07(境内) https://link.oversea.cnki.net/doi/10.19363/J.cnki.cn10-1380/tn.2023.05.07(境外)