Formal descriptions of code properties: decidability, complexity, implementation
scientific article; zbMATH DE number 6073932
scientific article