Model checking Java programs (abstract only)

David L. Dill. Model checking Java programs (abstract only). In ISSTA. pages 179, 2000. [doi]

Abstract

Abstract is missing.