Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A Research On Construction Of Soas For Enterprises In China | 0 | 0.34 | 2007 |
| A formal software development approach using refinement calculus | 0 | 0.34 | 2001 |
| A Formal Software Development Approach Based on COOZ and Refinement Calculus | 0 | 0.34 | 1999 |