Certifying properties of programs using theorem provers

  1. Santiago Jorge, J.
  2. Gulías, V.M.
  3. Cabrero, D.
Book:
Verification, Validation and Testing in Software Engineering

ISBN: 9781591408512

Year of publication: 2006

Pages: 220-287

Type: Book chapter

DOI: 10.4018/978-1-59140-851-2.CH010 GOOGLE SCHOLAR
Data source: Scopus