狠狠撸

Yamagata Yoriyuki
20 狠狠撸Shares 22 Followers 19 Followings
Personal Information
About
Delusional mathematician, who are working a disillusioned government agency. 妄想的数学者
Tags
computer science #voynich scala dsl test csp computational complexity bounded arithmetic model-checking formal-methods consistency-proof bounded-arithmetic logic mathematics bounded-arithmetic p=np uml formal_methods csp formal methods camomile ocaml programming
See more
  • Presentations
  • Infographics
Latest Most Popular

Runtime verification based on CSP

10 years ago ? 757 Views