Comments pertaining to: On the Projection Method for Protocol Verification

Yutaka Hirakawa

研究成果: Article査読

本文言語English
ページ(範囲)370-371
ジャーナルIEEE Transactions on Software Engineering
SE-16
出版ステータスPublished - 1990 3 1

引用スタイル