Boogie: A modular reusable verifier for object-oriented programs Conference Proceeding uri icon

Overview

publication date

  • November 1, 2005

Full Author List

  • Barnett M; Chang B-YE; DeLine R; Jacobs B; Leino KRM

Additional Document Info

start page

  • 364

end page

  • 387

volume

  • 4111