Formalization and Verification of Safety Properties of Statechart Specifications.

Kyo Chul Kang, Kwang-Il Ko

Browse the full APSEC paper archive.