How can you trust formally verified software? https://media.ccc.de/v/34c3-8915-how_can_you_trust_formally_verified_software …
2:51 AM - 28 Dec 2017
from Saint-Mandé, France
0 replies
4 retweets
8 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.