Verification of Transactions in STM Haskell using Contracts and Program Transformation

Romain Demeyer, Wim Vanhoof

Research output: Contribution to conferenceAbstractpeer-review

Filter
Active

Search results