Department of Computing
University of Kent
Canterbury, United Kingdom
[email protected]
Department of Computer Science
Royal Holloway, University of London
Egham, United Kingdom
[email protected]
Gomela was introduced in "Automated Verification of Go Programs via Bounded Model Checking" by Nicolas Dilley and Julien Lange, to appear at ASE 1021.
Pre-print version of the paper can be found here.