Specification and verification of component-based systems 2007.

Published in: ESEC/SIGSOFT FSE (Companion) (2007)

Keyphrases