Catégorie
Auteurs
doc ID
634391
Nom
BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement
Date de publication