Languages

Biblio

Filters: Author is Yang Zhang  [Clear All Filters]
2013
Zhang Y, Feng X.  2013.  An Operational Approach to Happens-before Memory Model. The 7th International Symposium on Theoretical Aspects of Software Engineering (TASE '13).
2011
Li Z, Zhang Y, Chen Y.  2011.  A Method to Generate Verification Condition Generator. Fifth International Conference on Theoretical Aspects of Software Engineering.