-
1st International Workshop on FORmal methods for Security Engineering
-
2017-02-19 ~ 21
Portugal . Aveiro
-
Computer Science & EngineeringInformation Technology & Communications SystemsSignal Processing/Circuits & SystemsComputer Science, Artificial IntelligenceElectronics & Telecommunications Collection