• 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
xTue 2 Sep 04:48
using conf.researchr.org (v1.70.0)
Support page
Sign Up