Bernd Fischer - ASE 2019

Registered user since Sun 12 Jul 2015

Name: Bernd Fischer

Country: South Africa

Affiliation: Stellenbosch University

Personal website: http://www.cs.sun.ac.za/~bfischer/

Contributions

ASE 2019	Committee Member in Steering Committee Author of VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq within the Demonstrations-track Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences