Formal Methods for Components and Objects - 9783642406140

Hierons - Software Engineering and Formal Methods 11th International - X555z

Jacobson - Applied Cryptography and Network Security 11th Internatio - X555z

Lopez - Information Security Practice and Experience 11th Internatio - X555z

de Boer - Formal Methods for Components and Objects Third Internatio - X555z

Mamoulis - Advances in Spatial and Temporal Databases 11th Internatio - X555z

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

Graf - Formal Techniques for Distributed Objects Components and Syst - X555z