Isabelle/HOLによる高階確率的プログラム検証

MLA

Hirata, Michikazu, et al. Isabelle/HOLによる高階確率的プログラム検証. Aug. 2021. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.jairo.........b11e24882d983394389226adde8933c8&authtype=sso&custid=ns315887.

APA

Hirata, M., Minamide, Y., & Sato, T. (2021). Isabelle/HOLによる高階確率的プログラム検証.

Chicago

Hirata, Michikazu, Yasuhiko Minamide, and Tetsuya Sato. 2021. “Isabelle/HOLによる高階確率的プログラム検証,” August. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.jairo.........b11e24882d983394389226adde8933c8&authtype=sso&custid=ns315887.