Вы здесь

Yang Z.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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