Formal Methods for Service Composition

by Maurice H. Ter Beek , Antonio Bucchiarone , Stefania Gnesi
Citations:6 - 0 self