This will work:
re.findall('ABC-[0-9]+', string)
[0-9]
specifies any Arabic numeral. It is preferable to \d
because the latter's behavior depends on the active locale. The +
specifies that the previous pattern must be matched one or more times.