Feedback

X
#1

keyword: specification and verification techniques – 6 free books.

  • View As:
  • view list
  • view icon
AVAILABLE!
Book cover
AVAILABLE!
Book cover

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

AVAILABLE!
Book cover
Jan Friso Groote and Kim Guldstrand Larsen, editors