rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 8,183

  1. RT @matteo_maffei: @jkulinz is hiring a full professor in Formal Methods, who will succeed @ArminBiere as head of the institute on Formal…
    On twitter.com Twitter logo Retweet