Zongyan Qiu profile picture

Zongyan Qiu

Stand Alone

Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering : Proceedings, Beijing, China, 4-6 July 2012