A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification

Louis Gauthier, Virgile Prevosto, Julien Signoles. A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. In Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes, editors, Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. pages 100-110, ACM, 2024. [doi]

Abstract

Abstract is missing.