Statechart-based Verification of Object-Oriented Design Models.

Toshiaki Aoki, Takuya Katayama

Browse the full APSEC paper archive.