Stefan Blom

Registered user since Sun 28 Dec 2014

Name: Stefan Blom

Country: Netherlands

Affiliation: University of Twente, The Netherlands

Personal website: http://wwwhome.ewi.utwente.nl/~sccblom/

Research interests: model checking, process algebra, program logics, software verification

Contributions

ECOOP 2015Committee Member in Artifact Evaluation Committee within the Artifacts-track