Research into verifiable languages for embedded systemswww-verimag.imag.fr3 points·dkersten··0 commentsOpen articleSaveView on HN