Object Invariants in Dynamic Contexts K. R. M. Leino and P. Muller
Şəkil nömrələri daxil edin: