曼蒂科尔 2份文件引用(2021) 软件作者： Mossberg，M.等人。 相关软件： 甲氰菊酯；Why3；solgraph… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）