Wolf, et al.. Gobra: Modular Specification and Verification of Go Programs (extended Version). 28 May 2021.