Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
scientific article; zbMATH DE number 6894965
scientific article