On accurate automatic verification of publish-subscribe architectures (0)

by L Baresi, C Ghezzi, L Mottola
Venue:In ICSE ’07