zbMATH中的参考文献（参考文献64条,1标准件)

1. 米切尔，迪米特里奥斯；基纳布尔，乔里斯；拿弗，巴拉；Sichi，John V.：Jgraph——一个用于图形数据结构和算法的Java库（2020）
2. Stewart Boogert，Andrey Abramov，Laurence Nevay，William Shields，Stuart Walker:Pyg4计量学：创建蒙特卡罗辐射传输物理几何的Python库（2020）阿尔十四
3. 比昂迪，法布里齐奥；川本、裕介；勒盖，阿克塞尔；Traonouez，Louis-Marie:相互信息的混合统计估计及其在信息流中的应用（2019）
4. Dimitrios Michail，Joris Kinable，Barak Naveh，John V Sichi:Jgraph-一个用于图形数据结构和算法的Java库（2019）阿尔十四
5. 雅克希奇，斯特凡；巴托奇、埃齐奥；格罗苏，拉杜；阮，唐；Ničković，Dejan：使用编辑距离对STL进行定量监测（2018年）
6. 赫尔姆斯，托拜厄斯；汤姆·沃克；莫斯，卡斯滕；Uhrmacher，Adelinde M.：表达型多层建模语言的语义和高效模拟算法（2017）
7. 瓦西里，克里斯蒂安·伊安；阿克萨雷，德尔雅；贝塔，卡林：时间窗时态逻辑（2017）
8. Bettini，Lorenzo:用Xsemantics实现IDE的类型系统（2016）
9. 佩特连科，亚历山德拉；恩圭娜·蒂莫，奥马尔；Ramesh，S.：FSM的多重突变测试（2016）
10. 比约达尔，古斯塔夫；莫内特，让·诺埃尔；弗莱纳，皮埃尔；Pearson，Justin:MiniZinc基于约束的本地搜索后端（2015）
11. 莱昂纳多诉莱昂纳多案。；迪奥里奥，弗拉基米尔O。；Bigonha，Roberto S.：编写和定义可扩展语言的动态语法修改机制（2015）
12. 王兵；邓波；邢飞；王东霞；Yao，Yiping:分区事件图：基于LP的并行离散事件仿真建模的形式化（2015）
13. 阿夫申阿米吉语；布洛姆，斯特凡；达拉比，赛义德；豪氏威马，玛丽克；莫斯托夫斯基，沃伊切赫；Zaharieva Stojanovski，Marina:与VerCors的并行系统验证（2014）
14. 卡佐拉，沃尔特；Vacchi，Edoardo:关于LR-goto图的增量增长和收缩（2014）
15. 何江洲；陈文广；陈光瑞；郑卫民；唐致中；叶汉东：OpenMDSP:扩展OpenMP编程多核DSP（2014）ioport公司
16. 莱因巴赫，托马斯；福格尔，马提亚斯；Brauer，Jörg:嵌入式实时系统的运行时验证（2014）
17. 罗德里格斯·塞雷佐，丹尼尔；萨拉萨·卡贝苏埃洛，安东尼奥；Gómez Albarrán，梅赛德斯；Sierra，José-Luis:高等教育中的严肃游戏：关于计算机语言实施课程中基本概念理解的案例研究（2014）数学
18. Thielecke，Hayo:解析动作的语义（2014）
19. 贝蒂尼，洛伦佐；达米亚尼，费鲁乔；伊纳州谢弗；Strocco，Fabio:\textscTraitRecordJ:一种具有特征和记录的编程语言（2013）ioport公司
20. Freudenthal，Margus:Siml:企业信息系统中特定领域语言开发的工具包（2013）