SlanC: A Speci?cation language for computable Contracts

  • Turki Alhazmi

Student thesis: Master's Thesis

Date of Award1 May 2018
Original languageEnglish
SupervisorMusab Alturki (Supervisor)

Cite this

'