Get my own profile
Public access
View all20 articles
1 article
available
not available
Based on funding mandates
Co-authors
Lucas C. CordeiroProfessor of Computer Science, University of Manchester | Universidade Federal do Amazonas | VeriBeeVerified email at manchester.ac.uk
Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyVerified 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-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
Jeremy MorseUniversity of BristolVerified email at bristol.ac.uk
Gillian GreeneComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Mikhail Yasha Ramalho GadelhaIgaliaVerified email at igalia.com
Nurlida BasirLecturer of Computer Science, Universiti Sains Islam MalaysiaVerified email at usim.edu.my
Moeketsi RaselimoHumboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
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
Gregor SneltingKITVerified email at kit.edu
Jon WhittleCSIRO's Data61Verified email at data61.csiro.au
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