Report copyright - 形式的技法によるプログラム検証fujita/nagamiya080310_html/... · Krakatoa+Coq Krakatoa Why Coq Java + JML 検証文 (Ocaml) proof obligation (述語論理) Krakatoa:
Please pass captcha verification before submit form
Please pass captcha verification before submit form