Gobra (Q116619880)
Jump to navigation
Jump to search
Program Verifier for the Go Programming Language
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gobra |
Program Verifier for the Go Programming Language |
Statements
Felix A. Wolf
0 references
Martin Clochard
0 references
Wytse Oortwijn
0 references
João C. Pereira
0 references
Nicolas Ray Klose
0 references
Dionisios Spiliopoulos
0 references