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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01394178
Contributor : Thomas Jensen <>
Submitted on : Tuesday, November 8, 2016 - 6:22:16 PM
Last modification on : Wednesday, December 18, 2019 - 4:56:53 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

1592