Honda, K., & Yoshida, N. A unified theory of program logics: An approach based on the pi-calculus.
シカゴスタイル引用形Honda, Kohei., , Nobuko Yoshida. A Unified Theory of Program Logics: An Approach Based On the Pi-calculus.
MLA引用形式Honda, Kohei., , Nobuko Yoshida. A Unified Theory of Program Logics: An Approach Based On the Pi-calculus.
警告: この引用は必ずしも正確ではありません.