Software Engineering and Formal Methods - 9783642405600

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

Software Engineering and Formal Methods 11th International Confer

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

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

Lanese - Formal Aspects of Component Software 11th International Sym - X555z

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