Weakest Precondition Inference for Non-Deterministic Linear Array Programs. - Prabhu, Sumanth; D'Souza, Deepak; Chakraborty, Supratik; Venkatesh, R.; Fedyukovich, Grigory (2024)