Book

Web Services and Formal Methods

by Cosimo Laneve, Jianwen Su