stilkov’s avatarstilkov’s Twitter Archive—№ 24,396

  1. …in reply to @markusvoelter
    markusvoelter mtiller Great use case for a high-level language with support for appropriate formal methods for verification
    On twitter.com Twitter logo stilkov’s avatar Mood +7 🙂