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 metadatas

https://hal.inria.fr/hal-01394178
Contributor : Thomas Jensen <>
Submitted on : Tuesday, November 8, 2016 - 6:22:16 PM
Last modification on : Saturday, January 12, 2019 - 1:09:59 AM

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

1387