Checking Java programs via guarded commands (1999)

by K. Rustan M. Leino , James B. Saxe , Raymie Stata
Venue:WORKSHOP ON OBJECT-ORIENTED TECHNOLOGY
Citations:38 - 6 self