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