Felipe R. Monteiro - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Registered user since Fri 10 Aug 2018

Name:Felipe R. Monteiro

Country:United States

Affiliation:Amazon

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

Research interests:Automated Verification, Program Analysis, Model Checking

Contributions

2020

ICSE

Code Level Model-Checking in the Software Development Workflow

Show activities from other conferences

ICSE 2020-profile
View general profile