Integrated Formal Methods - 9783319336923

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

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

96217 INTEGRATED FORMAL METHODS third international conference ; proceedings

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

Ahrendt - Integrated Formal Methods 15th International Conference I - X555z