最新ニュース
5月26日13時(日本時刻に)第14期公募の応募者登録および提案書アップロードを締め切りました。
The applicant registration website closed on 26 May 2023, at 1:00 p.m.(Japan Time)
Home
>
最新ニュース
> 共同研究成果 "Exercises in Nonstandard Static Analysis of Hybrid Systems" 「Lecture Notes in Computer Science 」に掲載。
| ENGLISH |
共同研究成果 "Exercises in Nonstandard Static Analysis of Hybrid Systems" 「Lecture Notes in Computer Science 」に掲載。