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 metadatas
https://hal-cea.archives-ouvertes.fr/cea-01834980
Contributor : Léna Le Roy <>
Submitted on : Wednesday, July 11, 2018 - 10:02:24 AM
Last modification on : Tuesday, February 19, 2019 - 3:40:04 PM

Identifiers

Collections

CEA | CEA-UPSAY | DRT | LORIA | INRIA | UNIV-LORRAINE | LIST | UNIV-PARIS-SACLAY | LORIA-FM

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

Share

Metrics

Record views

53

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD