Kobayashi, N., Sato, R., Shinohara, A., & Yoshinaka, R. (2025). Solvable Tuple Patterns and Their Applications to Program Verification.
Chicago-Zitierstil (17. Ausg.)Kobayashi, Naoki, Ryosuke Sato, Ayumi Shinohara, und Ryo Yoshinaka. Solvable Tuple Patterns and Their Applications to Program Verification. 2025.
MLA-Zitierstil (9. Ausg.)Kobayashi, Naoki, et al. Solvable Tuple Patterns and Their Applications to Program Verification. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.