Abstract interpretation of mobile systems
scientific article; zbMATH DE number 2157579
scientific article