• Sign in
  • Sign up
conf.researchr.org / Louis Gauthier
  • ICSE 2024 profile

Registered user since Fri 1 Dec 2023

Name:Louis Gauthier

Contributions

2024

FormaliSE

  • Author of A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification within the FormaliSE 2024-track
Share
xMon 22 Sep 18:14
using conf.researchr.org (v1.71.1)
Support page
Sign Up