Kinoshita Yoshiki | 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)の論文著者

関連著者

• Nishizawa Koki

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

• Kinoshita Yoshiki

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

著作論文

• An Algebraic Semantics of Predicate Abstraction for PML

スポンサーリンク