Web Services and Formal Methods - 9783642195884

Bravetti - Web Services and Formal Methods Third International Works - X555z

Lau - Formal Methods and Software Engineering 7th International Conf - X555z

Filipe - Web Information Systems and Technologies 7th International - X555z

Bauknecht - E-Commerce and Web Technologies 7th International Confer - X555z

De Boer - Formal Methods for Components and Objects 7th International - X555z

Leuschel - Integrated Formal Methods 7th International Conference IF - X555z

Degano - Formal Aspects of Security and Trust 7th International Work - X555z