Byte-Precise Verification of Low-Level List Manipulation (2013) [pdf]fit.vutbr.cz1 point·vmorgulis··0 commentsOpen articleSaveView on HN