Return to Article Details
Formalizing and checking web service discovery models using B.
Download
Download PDF