Bernd Fischer - Stellenbosch University

Computer Science Division
Stellenbosch University
Private Bag X1
7602 Matieland, South Africa

bfischer -at- cs.sun.ac.za
+27 21 808 4232

(on sabbatical in 2017...)

Conferences

• ICTAC 2018
• ICSE 2018
• ASE 2017
• ICTAC 2017
• GPCE 2017
• SLE 2017

Classes

(on sabbatical)

Tools

• AutoBayes
• ConceptCloud
• CSeq
• ESBMC

Publications

(c) B. Fischer, 2014-2017