Publications 2021January 1, 19701 minuteGobra: Modular Specification and Verification of Go Programs. F. A. Wolf, L. Arquint, M. Clochard, W. Oortwijn, J. C. Pereira, and P. Müller. In Computer Aided Verification (CAV), [PDF] [Publisher].