Skip to Main content Skip to Navigation
New interface
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 : Saturday, June 25, 2022 - 7:41:54 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

203