< Return to Video

34C3 - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Developme

  • Not Synced
    start
Title:
34C3 - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Developme
Description:

more » « less
Video Language:
English
Duration:
01:01:40

English subtitles

Incomplete

Revisions