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

Overview

publication date

  • November 9, 2003

Full Author List

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

Other Profiles

Additional Document Info

start page

  • 408

end page

  • 415