Feedback

X
#1

keyword: model checker – 4 free books.

doab These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.

  • View As:
  • view list
  • view icon

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

AVAILABLE!
Book cover
Alexandra Silva and K. Rustan M. Leino, editors