PRECiSA公司 6篇文献引用(2018–2022) 软件作者： 劳拉·蒂托洛；马可·A·费利乌。；玛丽亚诺·莫斯卡托；穆尼奥斯，塞萨尔·A。 相关软件： RangeLab；z3；ASTREE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）