Zhenhua Duan profile picture

Zhenhua Duan

Is this your author profile? Create an account to customize it!

Stand Alone

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Structured Object-Oriented Formal Language and Method
Civil Engineering and Energy-Environment Vol 2 Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
Civil Engineering and Energy-Environment Vol 2 Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
Civil Engineering and Energy-Environment Vol 1 Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
Civil Engineering and Energy-Environment Vol 1 Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
Civil Engineering and Energy-environment Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022. Vol. 1
Civil Engineering and Energy-Environment Set Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (Ccesem 2022), Sanya, China, 21-23 October 2022
Civil Engineering and Energy-environment Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022. Vol. 2
Structured Object-Oriented Formal Language and Method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Fifth International Conference on Theoretical Aspects of Software Engineering Proceedings, TASE 2011, 29-31 August 2011, Xi'an, Shaanxi, China
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings