Program analysis for concurrent programming
: consistency verification of STM Haskell programs using Moth

  • Aurélie Duc

Student thesis: Master typesMaster in Computer science

Date of Award29 Aug 2014
Original languageEnglish
Awarding Institution
  • University of Namur
SupervisorWim Vanhoof (Supervisor)

Cite this

'