Cost-based analysis of probabilistic programs mechanised in HOL

Research output: Contribution to journal › Article › peer-review

Cite this

@article{03f783865fe246c29818f1a73d864e23,

title = "Cost-based analysis of probabilistic programs mechanised in HOL",

author = "Orieta Celiku and Annabelle McIver",

year = "2004",

language = "English",

volume = "11",

pages = "102--128",

journal = "Nordic Journal of Computing",

issn = "1236-6064",

publisher = "University of Helsinki",

number = "2",

}