Bernd Spanfelner, Christian Leuxner, Wassiou Sitou. Formal specification of system functions. In ICSE Workshop on Modeling in Software Engineering, MiSE 2009, Vancouver, BC, Canada, May 17-18, 2009. pages 26-31, IEEE Computer Society, 2009. [doi]
@inproceedings{SpanfelnerLS09,
title = {Formal specification of system functions},
author = {Bernd Spanfelner and Christian Leuxner and Wassiou Sitou},
year = {2009},
doi = {10.1109/MISE.2009.5069893},
url = {http://doi.ieeecomputersociety.org/10.1109/MISE.2009.5069893},
researchr = {https://researchr.org/publication/SpanfelnerLS09},
cites = {0},
citedby = {0},
pages = {26-31},
booktitle = {ICSE Workshop on Modeling in Software Engineering, MiSE 2009, Vancouver, BC, Canada, May 17-18, 2009},
publisher = {IEEE Computer Society},
isbn = {978-1-4244-3722-1},
}