![]() | ![]() |
| 2001 | ||
|---|---|---|
| 1 | Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li: Z User Studio: An Integrated Support Tool for Z Specifications. APSEC 2001: 437-444 | |
| 1 | Li Li | [1] |
| 2 | Ling Liu | [1] |
| 3 | Huaikou Miao | [1] |
| 4 | Chuanjiang Yu | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page