Get my own profile
Public access
View all17 articles
1 article
available
not available
Based on funding mandates
Co-authors
Lucas CordeiroReader, Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
Gennaro ParlatoAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, ItalyVerified email at gssi.it
ermenegildo tomascoUniversity of SouthamptonVerified email at soton.ac.uk
Truc Lam NguyenUniversity of SouthamptonVerified email at soton.ac.uk
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Jeremy MorseUniversity of BristolVerified email at bristol.ac.uk
Gillian GreeneComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Nurlida BasirLecturer of Computer Science, Universiti Sains Islam MalaysiaVerified email at usim.edu.my
Mikhail Yasha Ramalho GadelhaIgaliaVerified email at igalia.com
Moeketsi RaselimoComputer Science Division, Stellenbosch UniversityVerified email at sun.ac.za
Wray BuntineProfessor, VinUniversityVerified email at vinuni.edu.vn
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Felipe R. MonteiroAmazonVerified email at amazon.com
Jon WhittleCSIRO's Data61Verified email at data61.csiro.au
Gregor SneltingKITVerified email at kit.edu
Michael PoppletonLecturer in Formal Methods, University of SouthamptonVerified email at ecs.soton.ac.uk
Neville GrechDedaubVerified email at dedaub.com
Follow
Bernd Fischer
Computer Science Division, Stellenbosch University
Verified email at cs.sun.ac.za - Homepage