Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings Deng Xiaotie Heftet / 2009 / Engelsk
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers Fiadeiro, José Luiz Heftet / 2014 / Engelsk
Structured Object-Oriented Formal Language and Method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers Xue Jinyun Heftet / 2021 / Engelsk
