Sciweavers

19587 search results - page 178 / 3918
» Systems Engineering for software Engineers
Sort
View
ICSE
2001
IEEE-ACM
15 years 11 months ago
Static Checking of Interrupt-Driven Software
Dennis Brylow, Niels Damgaard, Jens Palsberg