zweidimensionales bewegtes Bild

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

Digitalisierung: Hannover TIB

Attribution 3.0 Germany

0
/
0

Location
Hannover TIB
Extent
306MB, 00:17:12:21 (unknown)
Language
Englisch
Notes
Audiovisuelles Material

Bibliographic citation
30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)

Event
Veröffentlichung
(who)
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
(when)
2021-01-01
Contributor
Haslbeck, Maximilian P. L.
Lammich, Peter

DOI
10.5446/55060
Last update
04.12.2024, 8:09 AM CET

Data provider

This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.

Object type

  • zweidimensionales bewegtes Bild

Associated

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

Time of origin

  • 2021-01-01

Other Objects (12)