Communication Dans Un Congrès
Année : 2016
Thomas Jensen : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01394178
Soumis le : mardi 8 novembre 2016-18:22:16
Dernière modification le : vendredi 24 mars 2023-14:53:03
Citer
Oana Andreescu, Thomas Jensen, Stéphane Lescuyer. Correlating Structured Inputs and Outputs in Functional Specifications. Software Engineering and Formal Methods, Jul 2016, Vienna, Austria. pp.19, ⟨10.1007/978-3-319-41591-8_7⟩. ⟨hal-01394178⟩
Collections
207
Consultations
0
Téléchargements