Get my own profile
Public access
View all15 articles
1 article
available
not available
Based on funding mandates
Co-authors
Kazutaka MatsudaTohoku UniversityVerified email at ecei.tohoku.ac.jp- Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
- Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
- Dan HaoPeking UniversityVerified email at pku.edu.cn
- Lu ZhangPeking UniversityVerified email at sei.pku.edu.cn
- Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
- Jie M. ZhangLecturer (Assistant Professor), King's College LondonVerified email at kcl.ac.uk
- Janis VoigtländerAssociate Professor Formal Methods in Computer Science, University of Duisburg-EssenVerified email at uni-due.de
- Feng LiPeking UniversityVerified email at pku.edu.cn
- Patrik JanssonProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
- Jonas Almström DuregårdChalmers University of TechnologyVerified email at chalmers.se
- Yingfei XiongAssociate Professor, Peking UniversityVerified email at sei.pku.edu.cn
- Mark HarmanResearch Scientist at Meta & Professor of Software Engineering at UCLVerified email at ucl.ac.uk
- Hao TangPeking UniversityVerified email at sei.pku.edu.cn
- Roly PereraUniversity of Cambridge, University of BristolVerified email at cl.cam.ac.uk
- Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
- Alex GerdesSenior Lecturer, Gothenburg University / ChalmersVerified email at chalmers.se
Follow
Meng Wang
Reader in Computer Science, University of Bristol
Verified email at bristol.ac.uk - Homepage