Citazione Stile APA (7a Edizione)

Kobayashi, N., Sato, R., Shinohara, A., & Yoshinaka, R. (2025). Solvable Tuple Patterns and Their Applications to Program Verification.

Citazione stile Chigago Style (17a edizione)

Kobayashi, Naoki, Ryosuke Sato, Ayumi Shinohara, e Ryo Yoshinaka. Solvable Tuple Patterns and Their Applications to Program Verification. 2025.

Citatione MLA (9a ed.)

Kobayashi, Naoki, et al. Solvable Tuple Patterns and Their Applications to Program Verification. 2025.