Implementation and Verification of Concurrent Objects

  • Gal Amram

Student thesis: Doctoral Thesis

Date of Award2018
Original languageEnglish
Awarding Institution
  • Ben-Gurion University of the Negev
SupervisorGera Weiss (Supervisor) & Uri Abraham (Supervisor)

Cite this

'