zweidimensionales bewegtes Bild

Communicating and trusting formal proofs

0
/
0

Location
Hannover TIB
Extent
378MB, 01:02:06:21 (unknown)
Language
Englisch
Notes
Audiovisuelles Material

Bibliographic citation
Kolloquium für Informatik, 2015 ; (Jan. 2015)

Event
Veröffentlichung
(who)
Eidgenössische Technische Hochschule Zürich (ETH Zürich)
(when)
2015-01-01
Contributor
Miller, Dale
Blanco, Roberto
Chihani, Zakaria
Heath, Quentin
Ilik, Danko
Libal, Tomer
Renaud, Fabien
Reis, Giselle

DOI
10.5446/43673
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

  • Miller, Dale
  • Blanco, Roberto
  • Chihani, Zakaria
  • Heath, Quentin
  • Ilik, Danko
  • Libal, Tomer
  • Renaud, Fabien
  • Reis, Giselle
  • Eidgenössische Technische Hochschule Zürich (ETH Zürich)

Time of origin

  • 2015-01-01

Other Objects (12)