Nathan Chong - MSR 2020

Mon 29 - Tue 30 June 2020

co-located with ICSE 2020

Registered user since Wed 13 Jun 2018

Name:Nathan Chong

Country:United Kingdom

Affiliation:Amazon

Personal website: https://nchong.github.io

Research interests:Computer architecture, verification, concurrency

Contributions

2020

ICSE

Code Level Model-Checking in the Software Development Workflow

Show activities from other conferences

ICSE 2020-profile
View general profile