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

#formalmethods #go #pdf