Integrated Formal Methods - 9783319336923

Integrated Formal Methods 12th International Conference IFM 2016

Nakano - Intelligent Virtual Agents 12th International Conference I - X555z

Franch - Service-Oriented Computing 12th International Conference I - X555z

Leue - Formal Methods for Industrial Critical Systems 12th Internatio - X555z

Bernardo - Formal Methods for Model-Driven Engineering 12th Internat - X555z

Johnsen - Integrated Formal Methods 10th International Conference I - X555z

Mry - Integrated Formal Methods 8th International Conference IFM 2 - X555z