Software Engineering and Formal Methods - 9783642405600

Software Engineering and Formal Methods : 11th International Conference, Sefm...

Formal Methods: Applications and Technology: 11th International Workshop on: New

Giachino - Formal Methods for Components and Objects 11th Internatio - X555z

Weyns - Agent-Oriented Software Engineering XI 11th International Wo - X555z

Albert - Integrated Formal Methods 11th International Conference IF - X555z

Edwards - Formal Foundations of Reuse and Domain Engineering 11th Int - X555z