《郑州大学学报(工学版)》
过刊查询页面
关键词中包括
formalized method
的文章