André Sülflow, Ulrich Kühne, Görschwin Fey, Daniel Große, Rolf Drechsler. WoLFram- A Word Level Framework for Formal Verification. In Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, RSP 2009, Paris, France, 23-26 June 2009. pages 11-17, IEEE Computer Society, 2009. [doi]
@inproceedings{SulflowKFGD09,
title = {WoLFram- A Word Level Framework for Formal Verification},
author = {André Sülflow and Ulrich Kühne and Görschwin Fey and Daniel Große and Rolf Drechsler},
year = {2009},
doi = {10.1109/RSP.2009.21},
url = {http://doi.ieeecomputersociety.org/10.1109/RSP.2009.21},
researchr = {https://researchr.org/publication/SulflowKFGD09},
cites = {0},
citedby = {0},
pages = {11-17},
booktitle = {Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, RSP 2009, Paris, France, 23-26 June 2009},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3690-3},
}