Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong
Extending Timbuk to Verify Functional Programs
WRLA, 2018.
@inproceedings{WRLA-2018-GenetGHC,
author = "Thomas Genet and Tristan Gillard and Timothée Haudebourg and Sébastien Lê Cong",
booktitle = "{WRLA@ETAPS}",
doi = "10.1007/978-3-319-99840-4_9",
isbn = "['978-3-319-99839-8', '978-3-319-99840-4']",
pages = "153--163",
publisher = "{Springer}",
title = "{Extending Timbuk to Verify Functional Programs}",
year = 2018,
}