Skip to Main content Skip to Navigation
Conference papers

Correlating Structured Inputs and Outputs in Functional Specifications

Oana Andreescu 1, 2 Thomas Jensen 1 Stéphane Lescuyer 2
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01394178
Contributor : Thomas Jensen Connect in order to contact the contributor
Submitted on : Tuesday, November 8, 2016 - 6:22:16 PM
Last modification on : Friday, October 8, 2021 - 6:50:15 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

1605