%0 Conference Paper %1 conf/icse-formalise/GauthierPS24 %A Gauthier, Louis %A Prevosto, Virgile %A Signoles, Julien %B FormaliSE@ICSE %D 2024 %E Plat, Nico %E Gnesi, Stefania %E Furia, Carlo A. %E Lopes, Antónia %I ACM %K dblp %P 100-110 %T A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. %U http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2024.html#GauthierPS24

@inproceedings{conf/icse-formalise/GauthierPS24, added-at = {2024-06-24T00:00:00.000+0200}, author = {Gauthier, Louis and Prevosto, Virgile and Signoles, Julien}, biburl = {https://www.bibsonomy.org/bibtex/290c1b4b1b20b8e6450a81b25abd4412c/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse-formalise/2024}, editor = {Plat, Nico and Gnesi, Stefania and Furia, Carlo A. and Lopes, Antónia}, ee = {https://ieeexplore.ieee.org/document/10555790}, interhash = {f8e68b027e169ce8fab163548ab36405}, intrahash = {90c1b4b1b20b8e6450a81b25abd4412c}, keywords = {dblp}, pages = {100-110}, publisher = {ACM}, timestamp = {2024-07-01T07:11:05.000+0200}, title = {A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification.}, url = {http://dblp.uni-trier.de/db/conf/icse-formalise/formalise2024.html#GauthierPS24}, year = 2024 }