Tests and Proofs

Jasmin Christian Blanchette; Nikolai Kosmatov

doi:10.1007/978-3-319-21215-9

Tests and Proofs: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings

Jasmin Christian Blanchette ^{1, 2} Nikolai Kosmatov ³

1 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems

LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik

3 DILS - Département Ingénierie Logiciels et Systèmes

Type de document :

Direction d'ouvrage, Proceedings, Dossier

Jasmin Christian Blanchette; Nikolai Kosmatov. Tests and Proofs, Jul 2015, L’Aquila, Italy. 9154, Springer Verlag, 2015, 9783319212142. 〈10.1007/978-3-319-21215-9〉

Domaine :

Informatique [cs]

Liste complète des métadonnées

https://hal-cea.archives-ouvertes.fr/cea-01834980
Contributeur : Léna Le Roy <>
Soumis le : mercredi 11 juillet 2018 - 10:02:24
Dernière modification le : mardi 19 février 2019 - 15:40:04

Tests and Proofs: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings

Identifiants

Collections

Citation

Exporter

Métriques

34

Contact

Tests and Proofs: 9th International Conference, TAP 2015 Held as Part of STAF 2015 L’Aquila, Italy, July 22–24, 2015 Proceedings

Identifiants

Collections

Citation

Exporter

Partager

Métriques

34

Contact