Mixing Type Checking and Symbolic Execution Conference Proceeding uri icon

Overview

publication date

  • June 5, 2010

Full Author List

  • Phang KY; Chang B-YE; Foster JS

Additional Document Info

start page

  • 436

end page

  • 447

volume

  • 45

issue

  • 6