zweidimensionales bewegtes Bild

For a Few Dollars More -- Verified Fine-Grained Algorithm Analysis Down to LLVM

Digitalisierung: Hannover TIB

Namensnennung 3.0 Deutschland

0
/
0

Standort
Hannover TIB
Umfang
306MB, 00:17:12:21 (unknown)
Sprache
Englisch
Anmerkungen
Audiovisuelles Material

Erschienen in
30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)

Ereignis
Veröffentlichung
(wer)
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
(wann)
2021-01-01
Beteiligte Personen und Organisationen
Haslbeck, Maximilian P. L.
Lammich, Peter

DOI
10.5446/55060
Letzte Aktualisierung
04.12.2024, 08:09 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • zweidimensionales bewegtes Bild

Beteiligte

  • Haslbeck, Maximilian P. L.
  • Lammich, Peter
  • European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.

Entstanden

  • 2021-01-01

Ähnliche Objekte (12)