Automated Verification of Go Programs via Bounded Model Checking (2021) (via hwayne) — discussion
#formalmethods #go #pdf
