Verification papers
@verif_papers
Some selection of verification related papers (computer science, math, optimization, control) from Arxiv and DBLP.
ID: 3250204493
13-05-2015 06:12:11
13,13K Tweet
234 Followers
7 Following
@verif_papers
Some selection of verification related papers (computer science, math, optimization, control) from Arxiv and DBLP.
ID: 3250204493
13-05-2015 06:12:11
13,13K Tweet
234 Followers
7 Following