Tests and proofs: 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: TAP Online (VerfasserIn)
Weitere Verfasser: Ahrendt, Wolfgang (HerausgeberIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Cham Springer [2020]
Schriftenreihe:Lecture notes in computer science 12165
Schlagworte:
Beschreibung:xiii, 181 Seiten Illustrationen, Diagramme
ISBN:9783030509941

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!