TAKAHASHI Koichi | Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST)

スポンサーリンク

概要

• 同名の論文著者
• Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST)の論文著者

Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST) | 論文

• An Algebraic Semantics of Predicate Abstraction for PML

もっと見る

スポンサーリンク