Verifying Action Semantics Specifications in UML Behavioral Models.

Elena Planas, Jordi Cabot, Cristina Gmez

Browse the full CaiSE paper archive.