Deismireacht APA

Honda, K., & Yoshida, N. A unified theory of program logics: An approach based on the pi-calculus.

Trích dẫn kiểu Chicago

Honda, Kohei., và Nobuko Yoshida. A Unified Theory of Program Logics: An Approach Based On the Pi-calculus.

Deismireacht MLA

Honda, Kohei., và Nobuko Yoshida. A Unified Theory of Program Logics: An Approach Based On the Pi-calculus.

Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.