UML Models Engineering from Static and Dynamic Aspects of Formal Specifications.

Akram Idani

Browse the full CaiSE paper archive.