Model checking C source code for embedded systems Academic Article uri icon

publication date

  • March 19, 2009

start page

  • 187

end page

  • 202

volume

  • 11

issue

  • 3