Hide metadata

Verification of Haskell programs using Liquid Haskell

dc.contributor.authorKolstad, Morten Aske
dc.date.accessioned2020-02-21T23:50:24Z
dc.date.issued2019
dc.identifier.citationKolstad, Morten Aske. Verification of Haskell programs using Liquid Haskell. Master thesis, University of Oslo, 2019
dc.identifier.urihttp://hdl.handle.net/10852/73302
dc.description.abstracteng
dc.language.isoeng
dc.subject
dc.titleVerification of Haskell programs using Liquid Haskelleng
dc.typeMaster thesis
dc.date.updated2020-02-22T23:46:08Z
dc.creator.authorKolstad, Morten Aske
dc.date.embargoenddate3019-11-15
dc.rights.termsDette dokumentet er ikke elektronisk tilgjengelig etter ønske fra forfatter. Tilgangskode/Access code A
dc.identifier.urnURN:NBN:no-76415
dc.type.documentMasteroppgave
dc.rights.accessrightsclosedaccess
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/73302/1/master.pdf


Files in this item

Name:
master.pdf
Size:
384.2Kb
Format:
application/
View/Open

Appears in the following Collection

Hide metadata