Abstraction and modular verification of inter-enterprise business processes
133
0
0
Texte intégral
Documents relatifs