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