the top of this page
The Hakubi Project

The Hakubi Project

| JAPANESE |

Latest news

HOME  >  Latest news  > Kohei Suenaga published a paper about "hyperstream processing", which is for verification of hybrid systems, in POPL 2013.