Micheal Olawale -

Registered user since Thu 4 Jun 2026

Name:Micheal Olawale

Affiliation:Swansea University

Personal website: https://www.linkedin.com/in/olawalejuwonm/

Contributions

2026

WADT

Author of Software Quality Assurance via Testing-Inspired Formal Verification of Liveness Properties within the WADT 2026-track