Static Checking of Interrupt-driven Software (2001)

by D Brylow, N Damgaard, J Palsberg
Venue:In Proceedings of the 23rd International Conference on Software Engineering (ICSE