Hacker News new | ask | show | jobs
Hands-on VeriFast with STM32 microcontroller (metasepi.org)
1 points by masterq 3421 days ago