Modeling and Verification of Web Services Using Recursive Composition Algebra
Design of spoof speech detection system teager energy based approach