Verification of Transactions in STM Haskell using Contracts and Program Transformation

Romain Demeyer, Wim Vanhoof

Research output: Contribution to conferenceAbstractpeer-review

Original languageEnglish
Pages47-51
Publication statusPublished - 2013
Event5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013) - Roma, Italy
Duration: 23 Mar 2012 → …

Symposium

Symposium5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013)
CountryItaly
CityRoma
Period23/03/12 → …

Cite this