Artwork

Indhold leveret af Akronymisierbar. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Akronymisierbar eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.
Player FM - Podcast-app
Gå offline med appen Player FM !

025 - Datenspuren 2018

29:49
 
Del
 

Manage episode 217648872 series 1963921
Indhold leveret af Akronymisierbar. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Akronymisierbar eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Es waren mal wieder Datenspuren in Dresden. Wir haben uns dieses Mal mit Johannes unterhalten, der einen Vortrag über Ada, Spark und formale Verifikation gehalten hat.

Links

  • https://datenspuren.de/2018/
  • https://media.ccc.de/v/DS2018-9332-program_verification_with_spark
  • Alle Talks: https://media.ccc.de/c/DS2018
  • https://learn.adacore.com
  • https://www.adacore.com/download/

Johannes auf Twitter und GitHub

  continue reading

58 episoder

Artwork
iconDel
 
Manage episode 217648872 series 1963921
Indhold leveret af Akronymisierbar. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Akronymisierbar eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Es waren mal wieder Datenspuren in Dresden. Wir haben uns dieses Mal mit Johannes unterhalten, der einen Vortrag über Ada, Spark und formale Verifikation gehalten hat.

Links

  • https://datenspuren.de/2018/
  • https://media.ccc.de/v/DS2018-9332-program_verification_with_spark
  • Alle Talks: https://media.ccc.de/c/DS2018
  • https://learn.adacore.com
  • https://www.adacore.com/download/

Johannes auf Twitter und GitHub

  continue reading

58 episoder

Alle episoder

×
 
Loading …

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Hurtig referencevejledning