- 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.
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)
The presentation of formal proofs
Formal verification of cryptographic security proofs
Automated methods for formal proofs in simple arithmetics and algebra
Proofs and "Puzzles"
Proofs and "Puzzles"
Proofs and Provability
Transformations of specifications and proofs to support an evolutionary formal software development
Constructing and communicating Europe
Communicating risk and safety
Designing and communicating experience
Communicating cultures
Communicating sustainability
The presentation of formal proofs
Formal verification of cryptographic security proofs
Automated methods for formal proofs in simple arithmetics and algebra
Proofs and "Puzzles"
Proofs and "Puzzles"
Proofs and Provability
Transformations of specifications and proofs to support an evolutionary formal software development
Constructing and communicating Europe
Communicating risk and safety
Designing and communicating experience
Communicating cultures
Communicating sustainability
The presentation of formal proofs
Formal verification of cryptographic security proofs
Automated methods for formal proofs in simple arithmetics and algebra
Proofs and "Puzzles"
Proofs and "Puzzles"
Proofs and Provability
Transformations of specifications and proofs to support an evolutionary formal software development
Constructing and communicating Europe
Communicating risk and safety
Designing and communicating experience
Communicating cultures