|
СТ |
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit |
2004 |
Xu G., Yang Z. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
|
СТ |
Is There a Best Symbolic Cycle-Detection Algorithm? |
2001 |
Fister K., Fraer R., Kamhi G., Vardi M. Y., Yang Z. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
|
СТ |
Encoding Types in ML-like Languages |
1999 |
Yang Z. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
An Operational Investigation of the CPS Hierarchy |
1999 |
Danvy O., Yang Z. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
COBRA for Hard Real Time Applications: Some Critical Issues |
1998 |
Yang Z., Sun C. |
|
|
|
Operating Systems Review |
24.08.1998 |
|
СТ |
Annotated Bibliography on Global States and Times in Distributed Systems |
1993 |
Yang Z., Marsland T. A. |
|
|
|
Operating Systems Review |
30.07.1993 |
