Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
ICSE 2021 (series) / FormaliSE 2021 (series) / Nick Sumner
Nick Sumner

Registered user since Sat 12 Apr 2014

Name:Nick Sumner
Affiliation:Simon Fraser University
Personal website: http://www.cs.sfu.ca/~wsumner/

Contributions

Show activities from other conferences

ICSE 2021-profile
View general profile