GitHub repository: utting/whiley2boogie
Primary language: Java
Created: 2017-08-29T07:05:43Z
Description: Translator from the Whiley programming language to the Boogie Intermediate Verification Language