from Hacker News

Correctness Proofs for Device Drivers in Embedded Systems (2010) [pdf]

by vg_head on 12/24/21, 9:55 PM with 0 comments