Bahram N. Uchevler, Kjetil Svarstad. Assertion based verification using PSL-like properties in Haskell. In Lukás Sekanina, Görschwin Fey, Jaan Raik, Snorre Aunet, Richard Ruzicka, editors, 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2013, Karlovy Vary, Czech Republic, April 8-10, 2013. pages 254-257, IEEE Computer Society, 2013. [doi]
@inproceedings{UchevlerS13,
title = {Assertion based verification using PSL-like properties in Haskell},
author = {Bahram N. Uchevler and Kjetil Svarstad},
year = {2013},
doi = {10.1109/DDECS.2013.6549828},
url = {http://doi.ieeecomputersociety.org/10.1109/DDECS.2013.6549828},
researchr = {https://researchr.org/publication/UchevlerS13},
cites = {0},
citedby = {0},
pages = {254-257},
booktitle = {16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2013, Karlovy Vary, Czech Republic, April 8-10, 2013},
editor = {Lukás Sekanina and Görschwin Fey and Jaan Raik and Snorre Aunet and Richard Ruzicka},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-6135-4},
}