Skip to Main content Skip to Navigation
Directions of work or proceedings

Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems

Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/inria-00367512
Contributor : Stephan Merz <>
Submitted on : Wednesday, March 11, 2009 - 3:11:20 PM
Last modification on : Friday, February 26, 2021 - 3:28:05 PM

Identifiers

  • HAL Id : inria-00367512, version 1

Collections

Citation

Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow. Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems. Tobias Nipkow. 41, Springer, pp.209, 2008, Journal of Automated Reasoning. ⟨inria-00367512⟩

Share

Metrics

Record views

142