Title :
Fifth IEEE International Conference on Software Engineering and Formal Methods - Title page
Abstract :
The following topics are dealt with: software engineering; formal method; model checking; software testing; data security; formal specification; Web services; formal verification.
Keywords :
software engineering; Web services; data security; formal method; formal specification; formal verification; model checking; software engineering; software testing;
Conference_Titel :
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on
Conference_Location :
London
Print_ISBN :
978-0-7695-2884-7
DOI :
10.1109/SEFM.2007.18