Foreword: Special issue on numerical software verification Journal Article uri icon

Overview

publication date

  • December 1, 2009

Full Author List

  • Ivancic F; Sankaranarayanan S; Wang C

Other Profiles

Additional Document Info

start page

  • 227

end page

  • 228

volume

  • 35

issue

  • 3