❙. NullPointer

发表

K. Rustan M. Leino, K. Leino, M. Broy, 1998, PROCOMET.