Editorial: Special Issue of Automated Verification of Critical Systems

Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2014, Special Issue: Automated Verification of Critical Systems, 96 (3), pp.277-278
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-01084232, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

207