rene_mobile’s Twitter Archive
—№ 5,895
⇤ Newest
Tweet
⇠ Newer
Tweet
Older
Tweet
⇢
RT
@
Kensan42
:
@
halvarflake
@
rene_mobile
... formal methods can be applied by engineers/“non-experts” in formal verification. It is also wel…
On twitter.com
Retweet
2020 Jan 3