Martin Vassor - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Registered user since Wed 25 Oct 2023

Name:Martin Vassor

Country:France

Affiliation:Université de Lorraine; CNRS; Inria; LORIA

Contributions

2024

ECOOP

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile