Tests and Proofs - Archive ouverte HAL Access content directly
Books Year : 2021

Tests and Proofs

Frédéric Loulergue
Laboratoire d'Informatique Fondamentale d'Orléans
CV
Franz Wotawa
  • Function : Scientific advisor
  • PersonId : 994796
Graz University of Technology [Graz]

Domains

Programming Languages [cs.PL] Logic in Computer Science [cs.LO] Computer Science [cs] Software Engineering [cs.SE]

Frédéric Loulergue  : Connect in order to contact the contributor

https://inria.hal.science/hal-03261865

Submitted on : Wednesday, June 16, 2021-10:37:02 AM

Last modification on : Wednesday, October 26, 2022-8:13:19 AM

Consult the full text

Dates and versions

hal-03261865 , version 1 (16-06-2021)

Identifiers

Cite

Frédéric Loulergue, Franz Wotawa (Dir.). Tests and Proofs: 15th International Conference, TAP 2021 Held as Part of STAF 2021 Virtual Event, June 21–22, 2021 Proceedings. Springer, 12740, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79379-1⟩. ⟨hal-03261865⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS INSA-GROUPE INSA-CVL
31 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More