the top of this page
Latest news
HOME
＞ Latest news
＞ Kohei Suenaga published a paper about "hyperstream processing", which is for verification of hybrid systems, in POPL 2013.
｜ JAPANESE ｜
Kohei Suenaga published a paper about "hyperstream processing", which is for verification of hybrid systems, in POPL 2013.
