傑出學者系列講座: Coq, a Proof Assistant Based On Type Theory Leave a Comment / 活動消息 / By Shin 中研院資科所傑出學者系列講座:Coq, a Proof Assistant Based On Type Theory.
1st Asian-Pacific Summer School on Formal Methods Leave a Comment / 活動消息 / By Shin 今年在北京將舉辦第一屆的「亞太正規方法研習營」。