Improving Ariadne's Bundle by following multiple threads in abstraction refinement Conference Proceeding uri icon

Overview

publication date

  • November 9, 2003

has restriction

  • closed

Date in CU Experts

  • May 28, 2014 4:11 AM

Full Author List

  • Wang C; Li B; Jin HS; Hachtel GD; Somenzi F

author count

  • 5

citation count

  • 18

Other Profiles

International Standard Book Number (ISBN) 10

  • 1-58113-762-1

Additional Document Info

start page

  • 408

end page

  • 415