A State Machine Analysis Support System Based on the Problem Frames.

Osamu Shigo, Kaoru Yokoyama

Browse the full APSEC paper archive.