Abstract :
The following topics are dealt with: program testing; formal specification; formal verification; program verification; and Web services.
Keywords :
Web services; formal specification; formal verification; program testing; Web services; formal specification; formal verification; program testing; program verification;
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2011 Fifth International Symposium on
Conference_Location :
Xi´an, Shaanxi
Print_ISBN :
978-1-4577-1487-0
DOI :
10.1109/TASE.2011.49
