Static checking of interrupt-driven software (2001)

by Dennis Brylow , Niels Damgaard , Jens Palsberg
Venue:In Proc. of the 23rd Intl. Conf. on Software Engineering (ICSE
Citations:28 - 9 self