34351 articles – 26892 Notices  [english version]
.:. Consultation > Par auteur > Autexier .:.
1 document

Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems
Autexier S., Mantel H., Merz S., Nipkow T.
Springer (Ed.) (2008) 209 [inria-00367512 - version 1]