conf.researchr.org / 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