Formal Methods for Multicore Programming - 9783319189406

Bernardo - Formal Methods for Performance Evaluation 7th Internation - X555z

Heng - Information Security Practice and Experience 15th Internation - X555z

Bernardo - Formal Methods for Dynamical Systems 13th International S - X555z

Yu - Wireless Algorithms Systems and Applications 15th Internation - X555z

Bernardo - Formal Methods for Software Architectures Third Internatio - X555z

Nagl - Graph-Theoretic Concepts in Computer Science 15th Internation - X555z

HSCC 12 Conference C - HSCC 12 Proceedings of the 15th ACM Internation - X555z