发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

A comparison of semantic models for noninterference

A comparison of semantic models for noninterference

Ron van der Meyden; Chenyi Zhang

作者Ron van der Meyden; Chenyi Zhang
卷第411卷
期第47期
印刷ISSN0304-3975
文件大小633.54KB
发表时间2010
DOI10.1016/j.tcs.2010.08.013
页码4123-4147

← 返回【学霸图书馆】主页