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
UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, Inria de Paris
Document type :
Reports
Complete list of metadatas

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, April 21, 2020 - 1:11:57 AM
Document(s) archivé(s) le : 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

138

Files downloads

389