Items by "Zhou, Conghua"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.

Conference or Workshop Item

Zhou, Conghua (2010) A Compositional Symbolic Verification Framework for Concurrent Software. In: 2nd International ICST Conference on Scalable Information Systems.

This list was generated on Wed May 6 10:05:13 2026 UTC.