zbMATH中的参考文献（参考 58篇文章 参考，1标准件)

1. Michail，Dimitrios；Kinable，Joris；Naveh，Barak；Sichi，John V.：Jgraph——一个用于图形数据结构和算法的Java库（2020）
2. Stewart Boogert，Andrey Abramov，Laurence Nevay，William Shields，Stuart Walker:Pyg4计量学：创建蒙特卡罗辐射传输物理几何的Python库（2020）阿尔十四
3. Dimitrios Michail，Joris Kinable，Barak Naveh，John V Sichi:Jgraph-一个用于图形数据结构和算法的Java库（2019）阿尔十四
4. Vasile，Cristian Ioan；Aksaray，Derya；Belta，Calin:时间窗口时间逻辑（2017）
5. Bettini，Lorenzo:用Xsemantics实现IDE的类型系统（2016）
6. 比约达尔，古斯塔夫；莫内特，让诺埃尔；弗莱纳，皮埃尔；皮尔森，贾斯汀：MiniZinc基于约束的本地搜索后端（2015）
7. Reis，Leonardo V.S.；Di Iorio，Vladimir O.；Bigonha，Roberto S.：编写和定义可扩展语言的动态语法修改机制（2015）
8. Wang，Bing；Deng，Bo；Xing，Fei；Wang，Dongxia；Yao，Yiping:分区事件图：基于LP的并行离散事件仿真建模的形式化（2015）
9. Amighi，Afshin；Blom，Stefan；Darabi，Saeed；Huisman，Marieke；Mostowski，Wojciech；Zaharieva Stojanovski，Marina:验证VerCors的并发系统（2014年）
10. Cazzola，Walter；Vacchi，Edoardo:关于LR-goto图的增量增长和收缩（2014）
11. 何江洲；陈文光；陈光瑞；郑伟民；唐志忠；叶，韩东：OpenMDSP：扩展OpenMP编程多核DSP（2014）ioport公司
12. 《实时系统验证》（Thomas Mathuer，Jürg；实时系统验证）
13. Rodríguez Cerezo，Daniel；Sarasa Cabezuelo，Antonio；Gómez Albarrán，Mercedes；Sierra，José-Luis：高等教育中的严肃游戏：关于计算机语言实施课程中基本概念理解的案例研究（2014）数学
14. Thielecke，Hayo:解析动作的语义（2014）
15. Bettini，Lorenzo；Damiani，Ferruccio；Schaefer，Ina；Strocco，Fabio:\textsTraitRecordj:一种具有特征和记录的编程语言（2013）ioport公司
16. Freudenthal，Margus:Siml:企业信息系统中特定领域语言开发的工具包（2013）
17. Ahrendt，Wolfgang；Dylla，Maximilian:异步对象组合验证系统（2012）
18. Cervelle，Julien；Forax，Rémi；Loyauté，Gautier；Roussel，Gilles:Banzai+Tatoo:使用尖端解析器实现高性能服务器（2012）ioport公司
19. Ilhami Visne；Ahmet Yildiz；Ekran Dilaveroglu；Klemens Vierlinger；Christa Nöhammer；Friedrich Leisch；Albert Kriegner:speedR：交互式数据导入、过滤和现成代码生成的R包（2012）不是zbMATH
20. 夏伟；姚一平；缪晓东：基于扩展事件图的并行分布式离散事件仿真建模方法（2012）