Scalable and scope-bounded software verification in VARVEL Journal Article uri icon

Overview

publication date

  • December 1, 2015

Full Author List

  • Ivancic F; Balakrishnan G; Gupta A; Sankaranarayanan S; Maeda N; Imoto T; Pothengil R; Hussain M

Other Profiles

Additional Document Info

start page

  • 517

end page

  • 559

volume

  • 22

issue

  • 4