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

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 3 
1 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
3 DILS - Département Ingénierie Logiciels et Systèmes
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-01834980
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Wednesday, July 11, 2018 - 10:02:24 AM
Last modification on : Friday, February 18, 2022 - 3:09:09 AM

Identifiers

Collections

CEA | CNRS | INRIA | DRT | UNIV-LORRAINE | INRIA2 | CEA-UPSAY | LORIA | LORIA-FM | UNIV-PARIS-SACLAY | LIST | GS-COMPUTER-SCIENCE

Citation

Jasmin Christian Blanchette, Nikolai Kosmatov. 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; Nikolai Kosmatov. Tests and Proofs, Jul 2015, L’Aquila, Italy. 9154, Springer Verlag, 2015, 9783319212142. ⟨10.1007/978-3-319-21215-9⟩. ⟨cea-01834980⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

35