Modelling Foundations and Applications - 9783319614816

Davies - Formal Methods Foundations and Applications 13th Brazilian - X555z

Gritzalis - Cryptology and Network Security 13th International Confe - X555z

Malyshkin - Parallel Computing Technologies 13th International Confe - X555z

Van Gorp - Modelling Foundations and Applications 9th European Confe - X555z

Shyamasundar - Information Systems Security 13th International Confe - X555z

Taentzer - Modelling Foundations and Applications 11th European Conf - X555z

Sigmis-Cpr 13 Confer - Sigmis-CPR 13 Proceedings of the 2013 ACM Confe - X555z