rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 5,895

  1. RT @Kensan42: @halvarflake @rene_mobile ... formal methods can be applied by engineers/“non-experts” in formal verification. It is also wel…