[ARRAY24] The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum(…) | ACM SIGPLAN | Podwise