Write a Blog >>
SPIN 2021
Mon 12 - Tue 13 July 2021 Online
co-located with ECOOP and ISSTA 2021
Stephen F. Siegel

Registered user since Sun 21 Feb 2021

Name: Stephen F. Siegel

Country: United States

Affiliation: University of Delaware

Personal website: https://vsl.cis.udel.edu/siegel.html

Research interests: Model Checking, Symbolic Execution, MPI, concurrency, verification, formal methods


SPIN 2021 University of Delaware in Programming Committee within the SPIN-track
Show activities from other conferences

Using general profile