Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download
Contributor : Claude Marché Connect in order to contact the contributor
Submitted on : Monday, October 21, 2019 - 2:14:56 PM
Last modification on : Friday, January 21, 2022 - 3:18:39 AM
Long-term archiving on: : Wednesday, January 22, 2020 - 2:42:50 PM


Files produced by the author(s)


  • HAL Id : hal-02321691, version 1


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



Les métriques sont temporairement indisponibles