Debugging designs using exhaustively testable pseudo-code (2011) [pdf]hpts.ws10 points·pron··0 commentsOpen articleSaveView on HN