A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. Conference Proceeding uri icon

Overview

publication date

  • January 1, 2006

Full Author List

  • Chang B-YE; Chlipala A; Necula GC

Additional Document Info

start page

  • 174

end page

  • 189

volume

  • 3855