WSAT: A Tool for Formal Analysis of Web Services (2004)

by Xiang Fu , Tevfik Bultan , Jianwen Su
Venue:the Proc. of 16th Int. Conf. on Computer Aided Verification (CAV
Citations:39 - 15 self