Skip to content

Dr David Williams

Senior Lecturer

  1. 2020
  2. Early online

    Legislation-driven development of a Gift Aid system using Event-B

    Dr David Williams, Salaheddin Darwish, Steve Schneider & David R. Michael, 25 May 2020, (Early online) In: Formal Aspects of Computing.

    Research output: Contribution to journalArticlepeer-review

  3. 2016
  4. Foundations for using linear temporal logic in Event-B refinement

    Thai Son Hoang, Steve Schneider, Helen Treharne & Dr David Williams, 1 Nov 2016, In: Formal Aspects of Computing. 28, 6, p. 909–935

    Research output: Contribution to journalArticlepeer-review

  5. Constructing and verifying a robust Mix Net using CSP

    Efstathios Stathakidis, Dr David Williams & James Heather, Oct 2016, In: Software and Systems Modeling. 15, 4, p. 1063-1089 27 p.

    Research output: Contribution to journalArticlepeer-review

  6. Formal specification and verification of TCP extended with the Window Scale Option

    Lars Lockefeer, Dr David Williams & Wan Fokkink, 1 Mar 2016, In: Science of Computer Programming. 118, p. 3-23 21 p.

    Research output: Contribution to journalArticlepeer-review

ID: 13013917