TY  - SER
AU  - liu, Shaoying
AU  - Offutt, Jeff
AU  - Sun, Yong
TI  - Sofl a  Formal Engineering Methodlogy  for  Industrial Applications
KW  - Structured Map
KW  - Object Oriented-Approach (Ooa)
KW  -  Formal Methods
ER  -