Skip to Main content Skip to Navigation
Conference papers

Formalising an Integrated Language in PVS

Résumé : no abstract
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00458175
Contributor : LS2N Hal Connect in order to contact the contributor
Submitted on : Friday, February 19, 2010 - 3:18:28 PM
Last modification on : Wednesday, April 27, 2022 - 4:14:16 AM

Identifiers

  • HAL Id : hal-00458175, version 1

Citation

Gwen Salaün, Christian Attiogbé. Formalising an Integrated Language in PVS. 5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapore. pp.187--205. ⟨hal-00458175⟩

Share

Metrics

Record views

237