Publications 1 publication Page 1 of 1 Petra: A compositional, contract-based, Correct-by-Construction OOP language, using explainable, layered abstractions, for scalable V&V Aran Hakki, 2026 DOI: 10.5258/SOTON/PG/T315 Type: thesis