南京工程学院

安全协议操作语义与验证

TP393.08/441(瑞士) Cas Cremers, (卢森堡) Sjouke Mauw著/电子工业出版社/ 2018.11

• 馆藏(2) / 可借(2)