conf.researchr.org / Stefan Blom
![Stefan Blom](https://conf.researchr.org/getProfileImage/stefanblom/f5b7f86b-40d9-41c4-b923-ffec08a14d21/small.jpg?1711478679000)
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