Get my own profile
Public access
View all19 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Lucas C. CordeiroProfessor of Computer Science, University of ManchesterVerified 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