Get my own profile
Public access
View all11 articles
1 article
available
not available
Based on funding mandates
Co-authors
Liming ZhuResearch Director at CSIRO’s Data61 & Prof at University of New South WalesVerified email at csiro.au
Xiwei (Sherry) XuData61, CSIROVerified email at data61.csiro.au
Ingo WeberProfessor at TU Munich (Computer Science), Director at FraunhoferVerified email at tum.de
Paul RimbaData61, CSIROVerified email at data61.csiro.au
R JefferyUNSWVerified email at cse.unsw.edu.au
An Binh TranData61, CSIROVerified email at data61.csiro.au
Qinghua LuData61, CSIROVerified email at data61.csiro.au
Alexander PonomarevData61, CSIROVerified email at data61.csiro.au
Professor Mahmood NiaziKing Fahd University of Petroleum and Minerals Saudi ArabiaVerified email at kfupm.edu.sa
Len BassCarnegie Mellon UniversityVerified email at cmu.edu
M. Ali BabarProfessor of Software Engineering, The University of Adelaide, AustraliaVerified email at adelaide.edu.au
Yan LiuProfessor, Concordia University, CanadaVerified email at concordia.ca
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
Barbara Ann KitchenhamProfessor of Quantitative Software Engineering, Keele UniversityVerified email at keele.ac.uk
Rajitha Madhushan Ranasinghe Yasa...UNSW, Data61- CSIROVerified email at student.unsw.edu.au
Prof. Shiping ChenCSIRO Data61, AustraliaVerified email at data61.csiro.au
Sin Kuang LoSchool of Computer Science and Engineering, UNSWVerified email at zmail.unsw.edu.au
Paul BannermanVerified email at nicta.com.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au