FOSDEM 2022 - Proving the Correctness of GNAT Light Runtime Library
Channel: Honki Tonk
Date: 26/02/2022

Proving the Correctness of GNAT Light Runtime Library: https://fosdem.org/2022/schedule/event/ada_proving_gnat_light_runtime/
Ada Devroom: https://fosdem.org/2022/schedule/track/ada/

Meine Internetseite: http://www.totalplanlos.de/
Livestream Channel: https://gaming.youtube.com/user/tpHonkiTonk/live oder https://www.twitch.tv/tphonkitonk
PayPal: https://www.paypal.com/paypalme/tpHonkiTonk
Patreon: https://www.patreon.com/HonkiTonk
Amazon Wunschliste: http://www.amazon.de/registry/wishlist/2DNQHH9AI6JGR
Steam Wunschliste: http://steamcommunity.com/profiles/76561197989126693/wishlist/
Spenden (Tipeee): https://www.tipeeestream.com/tphonkitonk/donation