Science of Computer Programming Special Issue: Automated Verification of Critical Systems

Gerald Lüttgen 1 Stephan Merz 2
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Netherlands. 96 (3), Elsevier, 2014, Science of Computer Programming
Liste complète des métadonnées

https://hal.inria.fr/hal-01084228
Contributeur : Stephan Merz <>
Soumis le : mardi 18 novembre 2014 - 17:33:31
Dernière modification le : jeudi 9 novembre 2017 - 01:13:19

Identifiants

  • HAL Id : hal-01084228, version 1

Collections

Citation

Gerald Lüttgen, Stephan Merz. Science of Computer Programming Special Issue: Automated Verification of Critical Systems. Netherlands. 96 (3), Elsevier, 2014, Science of Computer Programming. 〈hal-01084228〉

Partager

Métriques

Consultations de la notice

164