Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2008
Stephan Merz : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00367512
Soumis le : mercredi 11 mars 2009-15:11:20
Dernière modification le : lundi 13 novembre 2023-10:56:04
Dates et versions
Identifiants
- HAL Id : inria-00367512 , version 1
Citer
Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow (Dir.). Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems. Tobias Nipkow. Springer, 41, pp.209, 2008, Journal of Automated Reasoning. ⟨inria-00367512⟩
Collections
86
Consultations
0
Téléchargements