Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings George Chris Heftet / 2002 / Engelsk
Testbeds and Research Infrastructures for the Development of Networks and Communities 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings Gao, Honghao Heftet / 2019 / Engelsk
Structured Object-Oriented Formal Language and Method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers Miao Huaikou Heftet / 2020 / Engelsk
