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

Saeeiab Sureerat Motoshi Saeki Integration of Software Analysis and Design Methods with Formal Description Techniques. 46-53 1998 conf/apsec/1998 APSEC http://csdl.computer.org/dl/proceedings/apsec/1998/9183/00/91830046.pdf db/conf/apsec/apsec1998.html#SureeratS98