View of Formalizing and checking web service discovery models using B

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