Items by "Zhou, Conghua"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Zhou, Conghua (2010) A Compositional Symbolic Verification Framework for Concurrent Software. In: 2nd International ICST Conference on Scalable Information Systems.
Zhou, Conghua (2010) A Compositional Symbolic Verification Framework for Concurrent Software. In: 2nd International ICST Conference on Scalable Information Systems.