搜索结果: 1-1 共查到“计算机科学技术 Safety Problem”相关记录1条 . 查询时间(0.07 秒)
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation.Barthe, D’Argenio, and Rezk coined the term “self-composition...