Name
Year | DOI | Venue |
|---|---|---|
1998 | 10.1145/290249.290265 | ACM SIGSOFT Software Engineering Notes |
Keywords | DocType | Volume |
formal specification notation,formal specification | Journal | 23 |
Issue | Citations | PageRank |
5 | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mingchun Zheng | 1 | 1 | 1.03 |
| Jiazhong Zhang | 2 | 0 | 1.01 |
| Yanbing Wang | 3 | 5 | 4.33 |