rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 2,474

  1. RT @insjku: This is why our "Secure Code" initiative at @jkulinz tries to bridge formal methods and run-time execution verification in prac…
    On twitter.com Twitter logo Retweet