Piessens - Engineering Secure Software and Systems 7th International - X555z

Formal Methods And Software Engineering : 7th International Conference on For...

De Boer - Formal Methods for Components and Objects 7th International - X555z

Formal Methods And Software Engineering : 7th International Conference on For...

Dastani - Fundamentals of Software Engineering 7th International Con - X555z

Mao - Information and Communications Security 7th International Conf - X555z

Degano - Formal Aspects of Security and Trust 7th International Work - X555z

Garoufallou - Metadata and Semantics Research 7th International Conf - X555z