Pierre-Marie Pédrot - SEAMS 2023

Mon 15 - Tue 16 May 2023 Melbourne, Australia

co-located with ICSE 2023

Registered user since Tue 18 Jun 2019

Name:Pierre-Marie Pédrot

Country:France

Affiliation:INRIA

Personal website: https://www.pédrot.fr

GitHub: https://github.com/ppedrot

Research interests:Type Theory

Contributions

2023

BotSE

The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report

Show activities from other conferences

ICSE 2023-profile
View general profile