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]
Abstract is missing.