Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020

Registered user since Fri 2 Jun 2017

Name: Michael Tautschnig

Affiliation: Amazon Web Services

Personal website: http://www.tautschnig.net/

Contributions

ICSE 2020 Code Level Model-Checking in the Software Development Workflow
Show activities from other conferences

ICSE 2020-profile
View general profile