research
∙
05/28/2021
Gobra: Modular Specification and Verification of Go Programs (extended version)
Go is an increasingly-popular systems programming language targeting, es...
share
research
∙
10/09/2020
