Integration of Software Analysis and Design Methods with Formal Description Techniques.

Saeeiab Sureerat, Motoshi Saeki

Browse the full APSEC paper archive.