Skip to Main content Skip to Navigation
Reports

Specification of UNIX Utilities

Nicolas Jeannerod 1 Claude Marché 2 Yann Régis-Gianas 3 Mihaela Sighireanu 1 Ralf Treinen 1
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
3 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, UPD7 - Université Paris Diderot - Paris 7
Document type :
Reports
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-02321691
Contributor : Claude Marché <>
Submitted on : Monday, October 21, 2019 - 2:14:56 PM
Last modification on : Tuesday, December 8, 2020 - 9:42:29 AM
Long-term archiving on: : Wednesday, January 22, 2020 - 2:42:50 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02321691, version 1

Citation

Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen. Specification of UNIX Utilities. [Technical Report] ANR. 2019. ⟨hal-02321691⟩

Share

Metrics

Record views

206

Files downloads

458