984 | ForSE 2018 : 2nd International Workshop on FORmal methods for Security Engineering
![]() ![]() |
||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2018/01/22-24 | ±¹³»/±¹¿Ü | ±¹¿Ü |
ȨÆäÀÌÁö | http://www.icissp.org/FORSE.aspx | Àå ¼Ò | Funchal, Portugal |
ForSE 2018 : 2nd International Workshop on FORmal methods for Security Engineering January 22-24, 2018 Funchal, Portugal |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.