TY  - RPRT
TI  - A Case Study on Runtime Verification of a Continuous Deployment Process
AU  - Shoma Ansai
AU  - Masaki Waga
PY  - 2026
UR  - https://arxiv.org/abs/2602.20598
ID  - 2602.20598
ER  -