Dennis Brylow, Niels Damgaard, Jens Palsberg. Static Checking of Interrupt-Driven Software. In Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada. pages 47-56, IEEE Computer Society, 2001.
@inproceedings{BrylowDP01,
title = {Static Checking of Interrupt-Driven Software},
author = {Dennis Brylow and Niels Damgaard and Jens Palsberg},
year = {2001},
researchr = {https://researchr.org/publication/BrylowDP01},
cites = {0},
citedby = {0},
pages = {47-56},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada},
publisher = {IEEE Computer Society},
isbn = {0-7695-1050-7},
}