米崎, 直., & 萩原, 茂. (2002). 入札プロトコルの形式的検証. 日本ソフトウェア科学会大会講演論文集, 7A1. https://doi.org/10.11309/jssstconference.19.0.7A1.0
Chicago Style (17th ed.) Citation米崎, 直樹, and 茂樹 萩原. "入札プロトコルの形式的検証." 日本ソフトウェア科学会大会講演論文集 2002: 7A1. https://doi.org/10.11309/jssstconference.19.0.7A1.0.
MLA (9th ed.) Citation米崎, 直樹, and 茂樹 萩原. "入札プロトコルの形式的検証." 日本ソフトウェア科学会大会講演論文集, 2002, p. 7A1, https://doi.org/10.11309/jssstconference.19.0.7A1.0.
Warning: These citations may not always be 100% accurate.