Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector: A Story on Applied Formal Methods

von Fava, Daniel Schnetzer
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)