StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SumQE公司 在0个文档中引用 软件作者： Stratos Xenouleas、Prodromos Malakasiotis、Marianna Apidianaki、Ion Androutsopoulos 相关软件： BEwT-E；流星；SIMetrix… 主要字段： –