Sign in

Verification of Embedded Software: Problems and Perspectives.

Patrick CousotRadhia Cousot
Published in: EMSOFT (2001)
Keyphrases
  • embedded software
  • database
  • low level
  • software development