Gobra: Modular Specification and Verification of Go Programs.

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, Joo Carlos Pereira, Peter Mller

Browse the full CAV paper archive.