Scalable and scope-bounded software verification in VARVEL Journal Article

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• December 1, 2015

has restriction

• closed

Date in CU Experts

• October 15, 2015 3:14 AM

Full Author List

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

author count

• 8

citation count

• 9

published in

• Automated Software Engineering  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0928-8910

Electronic International Standard Serial Number (EISSN)

• 1573-7535

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s10515-014-0164-0

Additional Document Info

start page

• 517

end page

• 559

volume

• 22

issue

• 4