Verifying Whiley programs with Boogie
scientific article; zbMATH DE number 7632091
scientific article