Book

Web Services and Formal Methods Lecture Notes in Computer Science Programming and Software

by Tevfik Bultan