Tests and Proofs

Jasmin Christian Blanchette; Nikolai Kosmatov

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

Proceedings Year : 2015

Tests and Proofs

(1, 2) , (3)

1
2
3

Jasmin Christian Blanchette

Function : Author

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Modeling and Verification of Distributed Algorithms and Systems

Nikolai Kosmatov

Function : Author

Département Ingénierie Logiciels et Systèmes

Domains

Computer Science [cs]

Léna Le Roy : Connect in order to contact the contributor

https://hal-cea.archives-ouvertes.fr/cea-01834980

Submitted on : Wednesday, July 11, 2018-10:02:24 AM

Last modification on : Friday, March 24, 2023-2:53:07 PM

Dates and versions

cea-01834980 , version 1 (11-07-2018)

Identifiers

HAL Id : cea-01834980 , version 1
DOI : 10.1007/978-3-319-21215-9

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

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

35 View

0 Download

Tests and Proofs

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share