Correctness Proofs for Device Drivers in Embedded Systems (2010) [pdf]cs.utah.edu2 points·vg_head··0 commentsOpen articleSaveView on HN