Home > Research > Researchers > Ms Ellen Greyling > Publications

Ellen Greyling

Faculty Research and Engagement Officer

  1. 2024
  2. Published

    Supporting Cybersecurity through Faultless Programming: A Guide to Dafny

    Weir, C., Noble, J. & Greyling, E., 10/12/2024

    Research output: Exhibits, objects and web-based outputsWeb publication/site

Back to top