If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Review article
2018

The role of model checking in software engineering

Karna, A. K., Chen, Y., Yu, H., Zhong, H. & Zhao, J., Aug 1 2018, In : Frontiers of Computer Science. 12, 4, p. 642-668 27 p.

Research output: Contribution to journalReview article

5 Citations (Scopus)
2004

A model for slicing JAVA programs hierarchically

Li, B. X., Fan, X. C., Pang, J. & Zhao, J. J., Nov 2004, In : Journal of Computer Science and Technology. 19, 6, p. 848-858 11 p.

Research output: Contribution to journalReview article

18 Citations (Scopus)